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

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

# Tag Archives: Small forcing

## A cofinality-preserving small forcing may introduce a special Aronszajn tree

Extended Abstract: Shelah proved that Cohen forcing introduces a Souslin tree; Jensen proved that a c.c.c. forcing may consistently add a Kurepa tree; Todorcevic proved that a Knaster poset may already force the Kurepa hypothesis; Irrgang introduced a c.c.c. notion … Continue reading

Posted in Publications, Squares and Diamonds
Tagged 03E04, 03E05, 03E35, Aronszajn tree, Small forcing, Successor of Singular Cardinal, weak square
Leave a comment