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