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