### Archives

### Recent blog posts

- Prikry forcing may add a Souslin tree June 12, 2016
- The reflection principle $R_2$ May 20, 2016
- Prolific Souslin trees March 17, 2016
- Generalizations of Martin’s Axiom and the well-met condition January 11, 2015
- Many diamonds from just one January 6, 2015
- Happy new jewish year! September 24, 2014
- Square principles April 19, 2014
- Partitioning the club guessing January 22, 2014

### Keywords

b-scale Ostaszewski square Universal Sequences Mandelbrot set reflection principles Weakly compact cardinal Aronszajn tree Singular coﬁnality Small forcing Erdos-Hajnal graphs Antichain Forcing Partition Relations Successor of Singular Cardinal Selective Ultrafilter Constructible Universe Chromatic number sap Hindman's Theorem 11P99 Club Guessing Forcing Axioms free Boolean algebra incompactness Knaster L-space super-Souslin tree Singular Density Prikry-type forcing Slim tree Chang's conjecture tensor product graph Hereditarily Lindelöf space Fast club Large Cardinals Erdos Cardinal ccc very good scale OCA Cardinal function P-Ideal Dichotomy Square-Brackets Partition Relations Successor of Regular Cardinal Absoluteness Dushnik-Miller projective Boolean algebra 20M14 stationary hitting Cohen real weak diamond Almost-disjoint famiy Rado's conjecture PFA(S)[S] Sakurai's Bell inequality Postprocessing function Singular cardinals combinatorics Almost Souslin Shelah's Strong Hypothesis polarized partition relation middle diamond Luzin set square weak square approachability ideal Fat stationary set Generalized Clubs square principles Foundations PFA coloring number Jonsson cardinal Kurepa Hypothesis Poset Stevo Todorcevic Almost countably chromatic Fodor-type reflection Diamond Souslin Tree stationary reflection Rainbow sets Nonspecial tree Martin's Axiom Cardinal Invariants Prevalent singular cardinals Commutative cancellative semigroups Non-saturation S-Space Uniformly coherent Whitehead Problem Uniformization Distributive tree Parameterized proxy principle Reduced Power Rock n' Roll diamond star Axiom R xbox HOD Minimal Walks Ascent Path Hedetniemi's conjecture Coherent tree 05A17 Microscopic Approach

# 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 Preprints, Souslin Hypothesis
Tagged 03E05, 03E35, 03E57, Diamond, Forcing Axioms, Souslin Tree, square, super-Souslin tree
Leave a comment