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