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

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

# 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