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