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