Archives
Recent blog posts
- The S-space problem, and the cardinal invariant $\mathfrak b$ April 4, 2013
- An $S$-space from a Cohen real April 3, 2013
- Forcing with a Souslin tree makes $\mathfrak p=\omega_1$ April 1, 2013
- The S-space problem, and the cardinal invariant $\mathfrak p$ March 28, 2013
- Jones’ theorem on the cardinal invariant $\mathfrak p$ March 26, 2013
- Erdős 100 March 26, 2013
- Bell’s theorem on the cardinal invariant $\mathfrak p$ March 21, 2013
- The $\Delta$-system lemma: an elementary proof March 20, 2013
Keywords
Prikry-type forcing diamond star Singular Density incompactness approachability ideal Small forcing polarized partition relation free Boolean algebra Rainbow sets Souslin Tree Partition Relations reflection principles Non-saturation PFA(S)[S] Hereditarily Lindelöf space very good scale Axiom R Prevalent singular cardinals Club Guessing Whitehead Problem Rock n' Roll projective Boolean algebra weak diamond weak square Minimal Walks Cardinal function Aronszajn tree Sakurai's Bell inequality middle diamond Rado's conjecture S-Space b-scale Generalized Clubs Chromatic number stationary hitting Erdos Cardinal Singular cardinals combinatorics sap Almost countably chromatic square Diamond stationary reflection Shelah's Strong Hypothesis Mandelbrot set P-Ideal Dichotomy Kurepa Hypothesis Foundations Poset Dushnik-Miller Successor of Regular Cardinal Square-Brackets Partition Relations Successor of Singular Cardinal Forcing Cohen real Knaster Singular Cofinality Erdos-Hajnal graphs Antichain Uniformization Large Cardinals Ostaszewski square
Category Archives: Blog
The S-space problem, and the cardinal invariant $\mathfrak b$
Recall that an S-space is a regular hereditarily separable topological space which is not hereditarily Lindelöf. In a previous post, we showed that such a space exists after adding a Cohen real. Here, we shall construct one from an arithmetic … Continue reading
An $S$-space from a Cohen real
Recall that an $S$-space is a regular hereditarily separable topological space which is not hereditarily Lindelöf. In this post, we shall establish the consistency of the existence of such a space. Theorem (Roitman, 1979). Let $\mathbb C=({}^{<\omega}\omega,\subseteq)$ be the notion of … 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
2 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
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
Posted in Blog, Expository
2 Comments
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
7 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
What’s next?
I took an offer for a tenure-track position at the Mathematics department of Bar-Ilan University.
Posted in Blog
13 Comments
