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