Archives
Keywords
Rainbow sets Selective Ultrafilter Sigma-Prikry Whitehead Problem countably metacompact transformations middle diamond unbounded function HOD reflection principles stationary reflection stationary hitting Diamond Coherent tree ccc regressive Souslin tree Was Ulam right Singular cardinals combinatorics AIM forcing C-sequence tensor product graph nonmeager set Hindman's Theorem Partition Relations Subadditive Subtle cardinal weak diamond Commutative cancellative semigroups Vanishing levels Aronszajn tree SNR OCA Filter reflection Poset coloring number Weakly compact cardinal Erdos Cardinal Almost Souslin Singular Density approachability ideal Closed coloring Square-Brackets Partition Relations Rock n' Roll Strong coloring Successor of Regular Cardinal incompactness specializable Souslin tree Distributive tree indecomposable ultrafilter full tree Shelah's Strong Hypothesis PFA Erdos-Hajnal graphs Forcing Axioms polarized partition relation Diamond for trees Dushnik-Miller Fodor-type reflection Successor of Singular Cardinal diamond star Forcing Cohen real very good scale Jonsson cardinal Rado's conjecture Cardinal function Subtle tree property Prikry-type forcing Martin's Axiom S-Space strongly bounded groups Non-saturation Ineffable cardinal Almost countably chromatic Fast club square principles Cardinal Invariants weak Kurepa tree Uniformly homogeneous Ostaszewski square P-Ideal Dichotomy Precaliber weak square Open Access Nonspecial tree Ulam matrix Lipschitz reduction Uniformly coherent Souslin Tree Postprocessing function Singular cofinality Subnormal ideal Analytic sets xbox Knaster L-space Microscopic Approach Fat stationary set Prevalent singular cardinals Almost-disjoint family O-space Iterated forcing Absoluteness Uniformization stick 54G20 Luzin set Axiom R Club Guessing projective Boolean algebra club_AD Sakurai's Bell inequality Kurepa Hypothesis Chang's conjecture sap Reduced Power Well-behaved magma b-scale free Souslin tree Reflecting stationary set Parameterized proxy principle higher Baire space Hereditarily Lindelöf space Minimal Walks Ramsey theory over partitions Foundations Dowker space positive partition relation square Knaster and friends Sierpinski's onto mapping principle Diamond-sharp Small forcing Greatly Mahlo Ascent Path GMA Strongly Luzin set Local Club Condensation. PFA(S)[S] Hedetniemi's conjecture free Boolean algebra Generalized descriptive set theory Universal Sequences Chromatic number super-Souslin tree Constructible Universe Antichain Slim tree Generalized Clubs Large Cardinals ZFC construction Mandelbrot set Amenable C-sequence
Category Archives: Blog
Forcing with a Souslin tree makes $\mathfrak p=\omega_1$
I was meaning to include a proof of Farah’s lemma in my previous post, but then I realized that the slick proof assumes some background which may worth spelling out, first. Therefore, I am dedicating a short post for a … Continue reading
Forcing with a Souslin tree makes $\mathfrak p=\omega_1$
I was meaning to include a proof of Farah’s lemma in my previous post, but then I realized that the slick proof assumes some background which may worth spelling out, first. Therefore, I am dedicating a short post for a … Continue reading
The S-space problem, and the cardinal invariant $\mathfrak p$
Recall that an $S$-space is a regular hereditarily separable topological space which is not hereditarily Lindelöf. Do they exist? Consistently, yes. However, Szentmiklóssy proved that compact $S$-spaces do not exist, assuming Martin’s Axiom. Pushing this further, Todorcevic later proved that … Continue reading
Posted in Blog, Expository, Open Problems
Tagged Hereditarily Lindelöf space, P-Ideal Dichotomy, PFA(S)[S], S-Space
4 Comments
Jones’ theorem on the cardinal invariant $\mathfrak p$
This post continues the study of the cardinal invariant $\mathfrak p$. We refer the reader to a previous post for all the needed background. For ordinals $\alpha,\alpha_0,\alpha_1,\beta,\beta_0,\beta_1$, the polarized partition relation $$\left(\begin{array}{c}\alpha\\\beta\end{array}\right)\rightarrow\left(\begin{array}{cc}\alpha_0&\alpha_1\\\beta_0&\beta_1\end{array}\right)$$ asserts that for every coloring $f:\alpha\times\beta\rightarrow 2$, (at least) … Continue reading
Jones’ theorem on the cardinal invariant $\mathfrak p$
This post continues the study of the cardinal invariant $\mathfrak p$. We refer the reader to a previous post for all the needed background. For ordinals $\alpha,\alpha_0,\alpha_1,\beta,\beta_0,\beta_1$, the polarized partition relation $$\left(\begin{array}{c}\alpha\\\beta\end{array}\right)\rightarrow\left(\begin{array}{cc}\alpha_0&\alpha_1\\\beta_0&\beta_1\end{array}\right)$$ asserts that for every coloring $f:\alpha\times\beta\rightarrow 2$, (at least) … Continue reading
Posted in Blog, Expository
Tagged polarized partition relation, Sierpinski's onto mapping principle
Leave a comment
Erdős 100
The influential mathematician Paul Erdős was born 100 years ago, 26 March 1913, in Budapest. One evidence of his impact on mathematics is reflected in the particular list of invited speakers for the upcoming conference in his honor. Erdős is also … Continue reading
Bell’s theorem on the cardinal invariant $\mathfrak p$
In this post, we shall provide a proof to a famous theorem of Murray Bell stating that $MA_\kappa(\text{the class of }\sigma\text{-centered posets})$ holds iff $\kappa<\mathfrak p$. We commence with defining the cardinal invariant $\mathfrak p$. For sets $A$ and $B$, … Continue reading
Bell’s theorem on the cardinal invariant $\mathfrak p$
In this post, we shall provide a proof to a famous theorem of Murray Bell stating that $MA_\kappa(\text{the class of }\sigma\text{-centered posets})$ holds iff $\kappa<\mathfrak p$. We commence with defining the cardinal invariant $\mathfrak p$. For sets $A$ and $B$, … Continue reading
The $\Delta$-system lemma: an elementary proof
Here is an elementary proof of (the finitary version of) the $\Delta$-system lemma. Thanks goes to Bill Weiss who showed me this proof! Lemma. Suppose that $\kappa$ is a regular uncountable cardinal, and $\mathcal A$ is a $\kappa$-sized family of finite … Continue reading
Posted in Blog, Expository, Surprisingly short
17 Comments
A natural Mandelbrot set
Chris Hadfield is a Canadian astronaut, with a very high-profile twitter account. He posts there beautiful photos everyday, and I (plus half a million followers) enjoy it very much. Today, Chris posted the following picture: and I find it quite … Continue reading