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

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

# 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