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