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

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

# 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