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

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

# 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