Archives
Keywords
Dushnik-Miller square Prevalent singular cardinals Was Ulam right Subtle cardinal Non-saturation Successor of Singular Cardinal Hindman's Theorem Closed coloring weak diamond Slim tree Sierpinski's onto mapping principle Reduced Power Open Access Distributive tree PFA Forcing Axioms super-Souslin tree C-sequence Ostaszewski square very good scale Almost countably chromatic O-space Fodor-type reflection Knaster Mandelbrot set weak square Square-Brackets Partition Relations sap Fast club specializable Souslin tree approachability ideal P-Ideal Dichotomy middle diamond unbounded function Strongly Luzin set club_AD Shelah's Strong Hypothesis 54G20 polarized partition relation Greatly Mahlo Chang's conjecture Prikry-type forcing Club Guessing Diamond-sharp Almost Souslin square principles ZFC construction ccc Singular Density S-Space Hedetniemi's conjecture AIM forcing Commutative cancellative semigroups tensor product graph Ineffable cardinal projective Boolean algebra Diamond Whitehead Problem Coherent tree Constructible Universe L-space countably metacompact stationary reflection Amenable C-sequence Cardinal function SNR GMA Poset Erdos Cardinal stick Iterated forcing coloring number Luzin set Antichain Generalized descriptive set theory strongly bounded groups indecomposable ultrafilter Jonsson cardinal Analytic sets Foundations reflection principles Uniformly coherent Microscopic Approach Weakly compact cardinal HOD Subadditive Axiom R Parameterized proxy principle Local Club Condensation. Rado's conjecture free Souslin tree regressive Souslin tree Singular cardinals combinatorics diamond star Selective Ultrafilter Souslin Tree xbox Kurepa Hypothesis Cohen real Chromatic number Reflecting stationary set Filter reflection Sigma-Prikry Minimal Walks Subnormal ideal higher Baire space Ulam matrix Diamond for trees Ascent Path stationary hitting Singular cofinality OCA nonmeager set b-scale Forcing Uniformization Aronszajn tree Martin's Axiom Successor of Regular Cardinal free Boolean algebra Almost-disjoint family Vanishing levels Precaliber Erdos-Hajnal graphs PFA(S)[S] Fat stationary set Small forcing Absoluteness Well-behaved magma Sakurai's Bell inequality Subtle tree property Universal Sequences Lipschitz reduction Dowker space Large Cardinals Knaster and friends Generalized Clubs Rock n' Roll Partition Relations Ramsey theory over partitions Hereditarily Lindelöf space transformations positive partition relation Postprocessing function Nonspecial tree Uniformly homogeneous incompactness full tree Cardinal Invariants Rainbow sets Strong coloring
Tag Archives: Partition Relations
Dushnik-Miller for regular cardinals (part 3)
Here is what we already know about the Dushnik-Miller theorem in the case of $\omega_1$ (given our earlier posts on the subject): $\omega_1\rightarrow(\omega_1,\omega+1)^2$ holds in ZFC; $\omega_1\rightarrow(\omega_1,\omega+2)^2$ may consistently fail; $\omega_1\rightarrow(\omega_1,\omega_1)^2$ fails in ZFC. In this post, we shall provide … Continue reading
Dushnik-Miller for singular cardinals (part 2)
In the first post on this subject, we provided a proof of $\lambda\rightarrow(\lambda,\omega+1)^2$ for every regular uncountable cardinal $\lambda$. In the second post, we provided a proof of $\lambda\rightarrow(\lambda,\omega)^2$ for every singular cardinal $\lambda$, and showed that $\lambda\rightarrow(\lambda,\omega+1)^2$ fails for every … Continue reading
Posted in Blog, Expository
Tagged Dushnik-Miller, Partition Relations, Singular cardinals combinatorics
27 Comments
Dushnik-Miller for regular cardinals (part 2)
In this post, we shall provide a proof of Todorcevic’s theorem, that $\mathfrak b=\omega_1$ implies $\omega_1\not\rightarrow(\omega_1,\omega+2)^2$. This will show that the Erdos-Rado theorem that we discussed in an earlier post, is consistently optimal. Our exposition of Todorcevic’s theorem would be … Continue reading
Posted in Blog, Expository
Tagged b-scale, Dushnik-Miller, Partition Relations, Square-Brackets Partition Relations
5 Comments
Dushnik-Miller for regular cardinals (part 1)
This is the first out of a series of posts on the following theorem. Theorem (Erdos-Dushnik-Miller, 1941). For every infinite cardinal $\lambda$, we have: $$\lambda\rightarrow(\lambda,\omega)^2.$$ Namely, for any coloring $c:[\lambda]^2\rightarrow\{0,1\}$ there exists either a subset $A\subseteq \lambda$ of order-type $\lambda$ with … Continue reading