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