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