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