Archives
Keywords
Microscopic Approach ZFC construction Erdos-Hajnal graphs Nonspecial tree C-sequence Generalized descriptive set theory Greatly Mahlo Almost-disjoint family GMA Subtle cardinal strongly bounded groups incompactness Luzin set Was Ulam right? Generalized Clubs Amenable C-sequence 54G20 Analytic sets Selective Ultrafilter Sigma-Prikry weak square Sakurai's Bell inequality Rainbow sets b-scale Strongly compact cardinal Diamond-sharp Antichain middle diamond Almost countably chromatic sap Martin's Axiom Respecting tree Commutative projection system Square-Brackets Partition Relations Rado's conjecture Reduced Power Forcing Axioms Coherent tree Closed coloring indecomposable ultrafilter Foundations Chang's conjecture Cohen real Axiom R Kurepa Hypothesis Mandelbrot set Hereditarily Lindelöf space transformations OCA Subadditive Hindman's Theorem Vanishing levels Ineffable cardinal xbox free Boolean algebra Commutative cancellative semigroups unbounded function Singular cofinality L-space Chromatic number HOD club_AD S-Space Small forcing Iterated forcing tensor product graph coloring number Whitehead Problem diamond star Constructible Universe reflection principles Souslin Tree Universal Sequences Singular Density Successor of Singular Cardinal Local Club Condensation. super-Souslin tree Weakly compact cardinal Minimal Walks Dowker space P-Ideal Dichotomy weak diamond Ramsey theory over partitions Well-behaved magma Parameterized proxy principle Precaliber Dushnik-Miller Prikry-type forcing Erdos Cardinal Successor of Regular Cardinal SNR stationary reflection Slim tree Singular cardinals combinatorics Sierpinski's onto mapping principle specializable Souslin tree full tree Knaster Countryman line Almost Souslin Lipschitz reduction Fat stationary set PFA(S)[S] Hedetniemi's conjecture Subnormal ideal Forcing Ascent Path Shelah's Strong Hypothesis O-space regressive Souslin tree Jonsson cardinal square square principles Cardinal function positive partition relation nonmeager set Partition Relations Uniformly coherent projective Boolean algebra Poset approachability ideal Strongly Luzin set countably metacompact Filter reflection ccc Club Guessing Strong coloring Uniformly homogeneous Knaster and friends Fodor-type reflection Large Cardinals Ostaszewski square Uniformization free Souslin tree higher Baire space Non-saturation Prevalent singular cardinals stationary hitting weak Kurepa tree Reflecting stationary set Diamond stick Postprocessing function Aronszajn tree polarized partition relation PFA Subtle tree property Absoluteness Cardinal Invariants very good scale Rock n' Roll AIM forcing Intersection model Open Access Ulam matrix Diamond for trees Fast club Distributive 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
