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