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