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

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

# 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