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

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