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