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