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