Archives
Keywords
Axiom R positive partition relation Open Access coloring number club_AD Rock n' Roll Diamond-sharp diamond star Ascent Path Knaster Amenable C-sequence Coherent tree tensor product graph Closed coloring Dushnik-Miller Jonsson cardinal Knaster and friends Uniformly coherent Postprocessing function regressive Souslin tree O-space transformations free Souslin tree middle diamond 54G20 Chromatic number Prevalent singular cardinals Foundations Ramsey theory over partitions xbox Prikry-type forcing nonmeager set higher Baire space OCA Square-Brackets Partition Relations incompactness GMA Ostaszewski square Subtle cardinal Whitehead Problem free Boolean algebra Diamond for trees Commutative projection system Distributive tree countably metacompact Fat stationary set Respecting tree Was Ulam right? Hindman's Theorem stationary hitting Sierpinski's onto mapping principle Slim tree Well-behaved magma Strong coloring Lipschitz reduction super-Souslin tree unbounded function projective Boolean algebra Erdos-Hajnal graphs Singular cardinals combinatorics Almost countably chromatic Forcing Uniformly homogeneous polarized partition relation Commutative cancellative semigroups Dowker space Parameterized proxy principle Generalized descriptive set theory Sakurai's Bell inequality C-sequence Martin's Axiom Singular Density HOD Uniformization Ineffable cardinal full tree Almost-disjoint family Subtle tree property Chang's conjecture Strongly compact cardinal Rado's conjecture Mandelbrot set Cardinal Invariants Cohen real strongly bounded groups approachability ideal Nonspecial tree Microscopic Approach weak Kurepa tree Antichain Almost Souslin Minimal Walks Constructible Universe very good scale Successor of Regular Cardinal Erdos Cardinal Aronszajn tree Iterated forcing reflection principles L-space Intersection model weak square Hereditarily Lindelöf space Countryman line b-scale Poset Singular cofinality Strongly Luzin set Selective Ultrafilter square principles Subadditive Fodor-type reflection PFA Club Guessing Diamond Analytic sets Small forcing Generalized Clubs Successor of Singular Cardinal Partition Relations Reflecting stationary set Reduced Power Precaliber Ulam matrix S-Space Absoluteness Hedetniemi's conjecture square Non-saturation Sigma-Prikry P-Ideal Dichotomy sap PFA(S)[S] Local Club Condensation. weak diamond SNR ZFC construction Filter reflection Forcing Axioms Subnormal ideal Kurepa Hypothesis Fast club stationary reflection Vanishing levels stick AIM forcing Universal Sequences Large Cardinals specializable Souslin tree Cardinal function Greatly Mahlo Shelah's Strong Hypothesis ccc Souslin Tree indecomposable ultrafilter Weakly compact cardinal Luzin set Rainbow sets
Tag Archives: 03E57
Weak square and stationary reflection
Joint work with Gunter Fuchs. Abstract. It is well-known that the square principle
Posted in Publications, Squares and Diamonds
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, stationary reflection, weak square
Leave a comment
A forcing axiom deciding the generalized Souslin Hypothesis
Joint work with Chris Lambie-Hanson. Abstract. We derive a forcing axiom from the conjunction of square and diamond, and present a few applications, primary among them being the existence of super-Souslin trees. It follows that for every uncountable cardinal
Posted in Publications, Souslin Hypothesis
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, Souslin Tree, square, super-Souslin tree
1 Comment
