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