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