### 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

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