Archives
Keywords
Prevalent singular cardinals Minimal Walks strongly bounded groups xbox Absoluteness Partition relations for trees Knaster polarized partition relation Mandelbrot set Axiom R Hindman's Theorem Fast club Cardinal function Shelah's Strong Hypothesis Distributive tree Poset square Strongly compact cardinal Ascent Path Entangled linear order Universal Sequences Respecting tree Parameterized proxy principle Forcing Sakurai's Bell inequality Ramsey theory over partitions C-sequence Selective Ultrafilter Nonspecial tree ZFC construction Intersection model Slim tree Commutative projection system Open Access super-Souslin tree Martin's Axiom perfectly normal Dushnik-Miller very good scale stationary reflection Iterated forcing OCA Generalized Clubs Small forcing Was Ulam right? Strongly Luzin set Cardinal Invariants Successor of Regular Cardinal Ascending path transformations Ulam matrix incompactness Generalized descriptive set theory diamond star projective Boolean algebra Greatly Mahlo Diamond-sharp Forcing Axioms Dowker space Rock n' Roll Partition Relations Erdos-Hajnal graphs Almost countably chromatic ccc Microscopic Approach Uniformly coherent Constructible Universe Forcing with side conditions Luzin set Weakly compact cardinal tensor product graph Club Guessing Lipschitz reduction Strong coloring Subtle cardinal Commutative cancellative semigroups Foundations Subnormal ideal Jonsson cardinal Coherent tree Singular Density Subtle tree property Rainbow sets weak Kurepa tree PFA Souslin Tree full tree unbounded function SNR Kurepa Hypothesis free Souslin tree 54G20 Singular cofinality Precaliber Countryman line S-Space coloring number Rado's conjecture Chromatic number middle diamond Fodor-type reflection sap indecomposable filter b-scale weak diamond stick Whitehead Problem Knaster and friends specializable Souslin tree Subadditive weak square Aronszajn tree P-Ideal Dichotomy Well-behaved magma higher Baire space Uniformly homogeneous Singular cardinals combinatorics Erdos Cardinal Chang's conjecture Cohen real Closed coloring Vanishing levels Prikry-type forcing Reflecting stationary set club_AD HOD Fat stationary set Large Cardinals Non-saturation Amenable C-sequence Almost Souslin Reduced Power nonmeager set Diamond for trees Sigma-Prikry O-space Interval topology on trees L-space GMA Ineffable cardinal countably metacompact Antichain Hereditarily Lindelöf space Diamond positive partition relation regressive Souslin tree Analytic sets Uniformization Postprocessing function PFA(S)[S] reflection principles free Boolean algebra Local Club Condensation. approachability ideal Successor of Singular Cardinal stationary hitting square principles Ostaszewski square Almost-disjoint family Filter reflection Monotonically far Sierpinski's onto mapping principle Hedetniemi's conjecture AIM forcing Square-Brackets Partition Relations
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
Posted in Blog, Expository
Tagged diamond star, Kurepa Hypothesis
Comments Off on A Kurepa tree from diamond-plus
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 Cardinal Invariants, 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
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
Prikry Forcing
Recall that the chromatic number of a (symmetric) graph $(G,E)$, denoted $\text{Chr}(G,E)$, is the least (possible finite) cardinal $\kappa$, for which there exists a coloring $c:G\rightarrow\kappa$ such that $gEh$ entails $c(g)\neq c(h)$. Given a forcing notion $\mathbb P$, it is … Continue reading
Shelah’s approachability ideal (part 2)
In a previous post, we defined Shelah’s approachability ideal $I[\lambda]$. We remind the reader that a subset $S\subseteq\lambda$ is in $I[\lambda]$ iff there exists a collection $\{ \mathcal D_\alpha\mid\alpha<\lambda\}\subseteq\mathcal [\mathcal P(\lambda)]^{<\lambda}$ such that for club many $\delta\in S$, the union … Continue reading
Posted in Blog, Expository, Open Problems
Tagged approachability ideal, Club Guessing
Leave a comment
