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