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