### Archives

### Recent blog posts

- A strong form of König’s lemma October 21, 2017
- 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

### Keywords

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

# 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