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