Archives
Keywords
Countryman line Vanishing levels Uniformly coherent Strongly compact cardinal Forcing Axioms coloring number Commutative cancellative semigroups countably metacompact Martin's Axiom Square-Brackets Partition Relations projective Boolean algebra ccc Cohen real Rainbow sets approachability ideal Sakurai's Bell inequality Fodor-type reflection Microscopic Approach Well-behaved magma Postprocessing function Ramsey theory over partitions stick Strong coloring HOD reflection principles C-sequence Rado's conjecture Reflecting stationary set Erdos Cardinal stationary reflection middle diamond Prevalent singular cardinals Selective Ultrafilter Analytic sets positive partition relation Intersection model full tree Ineffable cardinal Souslin Tree Dowker space Generalized descriptive set theory Greatly Mahlo Slim tree Club Guessing weak diamond P-Ideal Dichotomy Strongly Luzin set Singular Density Closed coloring strongly bounded groups Generalized Clubs Ascent Path Distributive tree 54G20 S-Space Subnormal ideal Luzin set Chromatic number Subtle tree property Diamond for trees Erdos-Hajnal graphs b-scale weak Kurepa tree Partition Relations Uniformization Knaster Prikry-type forcing Cardinal Invariants Nonspecial tree Respecting tree Minimal Walks indecomposable ultrafilter Antichain free Souslin tree Large Cardinals sap Uniformly homogeneous Hedetniemi's conjecture higher Baire space Non-saturation square Local Club Condensation. Rock n' Roll Aronszajn tree club_AD Universal Sequences PFA(S)[S] Foundations Parameterized proxy principle Iterated forcing Ostaszewski square Chang's conjecture Shelah's Strong Hypothesis polarized partition relation Was Ulam right? Subadditive Commutative projection system nonmeager set stationary hitting ZFC construction Open Access Almost-disjoint family tensor product graph SNR transformations Hereditarily Lindelöf space free Boolean algebra Singular cofinality diamond star Almost Souslin Diamond Poset Reduced Power Coherent tree Sigma-Prikry Almost countably chromatic Kurepa Hypothesis Fast club Sierpinski's onto mapping principle Singular cardinals combinatorics Successor of Regular Cardinal Knaster and friends weak square Lipschitz reduction Dushnik-Miller Cardinal function Successor of Singular Cardinal Filter reflection Absoluteness very good scale Fat stationary set GMA Mandelbrot set L-space Amenable C-sequence Axiom R Jonsson cardinal Constructible Universe Small forcing O-space Subtle cardinal square principles PFA regressive Souslin tree OCA Weakly compact cardinal AIM forcing Whitehead Problem Diamond-sharp Forcing Ulam matrix xbox unbounded function super-Souslin tree specializable Souslin tree Precaliber incompactness Hindman's Theorem
Category Archives: Blog
An inconsistent form of club guessing
In this post, we shall present an answer (due to P. Larson) to a question by A. Primavesi concerning a certain strong form of club guessing. We commence with recalling Shelah’s concept of club guessing. Concept (Shelah). Given a regular … Continue reading
c.c.c. forcing without combinatorics
In this post, we shall discuss a short paper by Alan Mekler from 1984, concerning a non-combinatorial verification of the c.c.c. property for forcing notions. Recall that a notion of forcing $\mathbb P$ is said to satisfy the c.c.c. iff … 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 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
