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