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