Archives
Keywords
weak Kurepa tree Respecting tree positive partition relation Subtle tree property Selective Ultrafilter Forcing Knaster Vanishing levels Forcing Axioms Ramsey theory over partitions Uniformly homogeneous Cohen real Ulam matrix Sigma-Prikry Diamond-sharp Subadditive Mandelbrot set L-space Constructible Universe Successor of Regular Cardinal Open Access stationary hitting Coherent tree Fodor-type reflection Diamond for trees Rado's conjecture Shelah's Strong Hypothesis strongly bounded groups Uniformly coherent Sakurai's Bell inequality Greatly Mahlo Chang's conjecture Antichain Diamond Singular cofinality Fat stationary set stick higher Baire space full tree SNR Subtle cardinal O-space Commutative cancellative semigroups Almost-disjoint family Reflecting stationary set Generalized Clubs middle diamond Rainbow sets super-Souslin tree Erdos-Hajnal graphs Subnormal ideal Precaliber Iterated forcing OCA Ostaszewski square Small forcing Poset nonmeager set C-sequence incompactness Dowker space Singular Density stationary reflection Axiom R Jonsson cardinal Closed coloring Countryman line approachability ideal Luzin set transformations Cardinal Invariants Lipschitz reduction Singular cardinals combinatorics countably metacompact Nonspecial tree Generalized descriptive set theory Parameterized proxy principle Weakly compact cardinal reflection principles Reduced Power Strong coloring Whitehead Problem Knaster and friends tensor product graph ccc free Souslin tree PFA(S)[S] Aronszajn tree Analytic sets diamond star projective Boolean algebra polarized partition relation Almost Souslin ZFC construction Strongly Luzin set coloring number Hindman's Theorem Cardinal function Distributive tree Sierpinski's onto mapping principle Partition Relations Kurepa Hypothesis HOD Slim tree specializable Souslin tree very good scale Large Cardinals Minimal Walks Chromatic number Intersection model square principles Club Guessing Dushnik-Miller Souslin Tree xbox P-Ideal Dichotomy Prevalent singular cardinals indecomposable ultrafilter Foundations Microscopic Approach b-scale Uniformization Non-saturation Filter reflection Successor of Singular Cardinal 54G20 sap Amenable C-sequence club_AD weak square weak diamond Was Ulam right? Commutative projection system free Boolean algebra GMA square Ineffable cardinal Well-behaved magma regressive Souslin tree Strongly compact cardinal Martin's Axiom Almost countably chromatic Square-Brackets Partition Relations Fast club Postprocessing function PFA AIM forcing Rock n' Roll Hereditarily Lindelöf space Erdos Cardinal Universal Sequences Ascent Path Hedetniemi's conjecture unbounded function S-Space Local Club Condensation. Prikry-type forcing Absoluteness
Category Archives: Expository
The chromatic numbers of the Erdos-Hajnal graphs
Recall that a coloring $c:G\rightarrow\kappa$ of an (undirected) graph $(G,E)$ is said to be chromatic if $c(v_1)\neq c(v_2)$ whenever $\{v_1,v_2\}\in E$. Then, the chromatic number of a graph $(G,E)$ is the least cardinal $\kappa$ for which there exists a chromatic … Continue reading
Posted in Blog, Expository
Tagged Chromatic number, Erdos-Hajnal graphs, Rado's conjecture, reflection principles
13 Comments
Shelah’s approachability ideal (part 1)
Given an infinite cardinal $\lambda$, Shelah defines an ideal $I[\lambda]$ as follows. Definition (Shelah, implicit in here). A set $S$ is in $I[\lambda]$ iff $S\subseteq\lambda$ and there exists a collection $\{ \mathcal D_\alpha\mid\alpha<\lambda\}\subseteq\mathcal [\mathcal P(\lambda)]^{<\lambda}$, and some club $E\subseteq\lambda$, so … Continue reading
Dushnik-Miller for regular cardinals (part 3)
Here is what we already know about the Dushnik-Miller theorem in the case of $\omega_1$ (given our earlier posts on the subject): $\omega_1\rightarrow(\omega_1,\omega+1)^2$ holds in ZFC; $\omega_1\rightarrow(\omega_1,\omega+2)^2$ may consistently fail; $\omega_1\rightarrow(\omega_1,\omega_1)^2$ fails in ZFC. In this post, we shall provide … Continue reading
A large cardinal in the constructible universe
In this post, we shall provide a proof of Silver’s theorem that the Erdos caridnal $\kappa(\omega)$ relativizes to Godel’s constructible universe. First, recall some definitions. Given a function $f:[\kappa]^{<\omega}\rightarrow \mu$, we say that $I\subseteq\kappa$ is a set of indiscernibles for … 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
Shelah’s solution to Whitehead’s problem
Whitehead problem notes in hebrew : Table of contents Chapter 0 Chapter 1 Chapter 2 Chapter 3 Chapter 4 Chapter 5 Chapter 6 Chapter 7 Chapter 8 Chapter 9 Chapter 10 Chapter 11 Chapter 12 References
