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

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

# 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