Archives
Keywords
Subtle tree property Ineffable cardinal Hindman's Theorem Rado's conjecture higher Baire space Dowker space club_AD Club Guessing Ulam matrix Fast club reflection principles Whitehead Problem coloring number Microscopic Approach O-space Jonsson cardinal Forcing with side conditions Foundations Sierpinski's onto mapping principle Knaster Universal Sequences 54G20 Amenable C-sequence Forcing Mandelbrot set Cohen real square Reflecting stationary set Small forcing Coherent tree Precaliber Aronszajn tree Weakly compact cardinal Singular cardinals combinatorics b-scale Fodor-type reflection sap Iterated forcing free Boolean algebra Almost Souslin SNR full tree Minimal Walks Diamond for trees Kurepa Hypothesis Ramsey theory over partitions Forcing Axioms HOD Local Club Condensation. polarized partition relation Respecting tree perfectly normal Knaster and friends OCA stationary reflection specializable Souslin tree Strong coloring projective Boolean algebra Martin's Axiom Hereditarily Lindelöf space Cardinal function Commutative cancellative semigroups Subadditive Nonspecial tree Intersection model Partition Relations L-space Postprocessing function Shelah's Strong Hypothesis Generalized descriptive set theory Erdos Cardinal Diamond-sharp middle diamond Uniformly homogeneous Strongly compact cardinal Singular Density Slim tree Almost-disjoint family stationary hitting Absoluteness Large Cardinals nonmeager set Non-saturation countably metacompact Successor of Regular Cardinal Strongly Luzin set Poset AIM forcing Subtle cardinal Commutative projection system Singular cofinality positive partition relation incompactness Well-behaved magma very good scale Lipschitz reduction unbounded function Filter reflection super-Souslin tree Countryman line indecomposable filter Luzin set Ascent Path free Souslin tree Rainbow sets Chromatic number Rock n' Roll Successor of Singular Cardinal Fat stationary set Generalized Clubs xbox strongly bounded groups Dushnik-Miller Distributive tree transformations Parameterized proxy principle Sigma-Prikry Chang's conjecture Almost countably chromatic Hedetniemi's conjecture Souslin Tree Closed coloring S-Space Monotonically far GMA Antichain Diamond Square-Brackets Partition Relations ccc ZFC construction Reduced Power Partition relations for trees Open Access Interval topology on trees Uniformization PFA Ostaszewski square diamond star Axiom R PFA(S)[S] regressive Souslin tree Vanishing levels weak square Was Ulam right? Erdos-Hajnal graphs Constructible Universe Prikry-type forcing square principles C-sequence stick Subnormal ideal Selective Ultrafilter Uniformly coherent Ascending path Prevalent singular cardinals tensor product graph Cardinal Invariants Sakurai's Bell inequality approachability ideal Analytic sets weak Kurepa tree P-Ideal Dichotomy Entangled linear order Greatly Mahlo weak diamond
Tag Archives: OCA
Open coloring and the cardinal invariant $\mathfrak b$
Nik Weaver asked for a direct proof of the fact that Todorcevic’s axiom implies the failure of CH fails. Here goes. Notation. For a set $X$, we write $[X]^2$ for the set of unordered pairs $\{ \{x,x’\}\mid x,x’\in X, x\neq … Continue reading
