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