### Archives

### Recent blog posts

- A strong form of König’s lemma October 21, 2017
- Prikry forcing may add a Souslin tree June 12, 2016
- The reflection principle $R_2$ May 20, 2016
- Prolific Souslin trees March 17, 2016
- Generalizations of Martin’s Axiom and the well-met condition January 11, 2015
- Many diamonds from just one January 6, 2015
- Happy new jewish year! September 24, 2014
- Square principles April 19, 2014

### Keywords

specializable Souslin tree Shelah's Strong Hypothesis PFA(S)[S] Hedetniemi's conjecture Almost Souslin Coherent tree very good scale Prevalent singular cardinals Ostaszewski square Generalized Clubs Large Cardinals Constructible Universe HOD Forcing S-Space free Boolean algebra diamond star Selective Ultrafilter Hindman's Theorem Chromatic number Cardinal function Almost countably chromatic Universal Sequences OCA Fodor-type reflection Slim tree Fat stationary set Antichain Singular cardinals combinatorics Hereditarily Lindelöf space Weakly compact cardinal Cohen real Absoluteness Microscopic Approach stationary hitting Reduced Power Erdos Cardinal weak diamond Poset Sakurai's Bell inequality coloring number super-Souslin tree PFA Fast club Martin's Axiom Foundations Successor of Singular Cardinal Erdos-Hajnal graphs Cardinal Invariants Rado's conjecture Uniformly coherent weak square Ascent Path Dushnik-Miller approachability ideal incompactness Aronszajn tree xbox reflection principles Singular Density Postprocessing function tensor product graph Whitehead Problem square principles Chang's conjecture ccc Knaster polarized partition relation sap 05A17 Axiom R stationary reflection b-scale Club Guessing Parameterized proxy principle P-Ideal Dichotomy Uniformization Forcing Axioms middle diamond L-space Nonspecial tree Minimal Walks Jonsson cardinal Singular coﬁnality Square-Brackets Partition Relations Rainbow sets Prikry-type forcing Souslin Tree Kurepa Hypothesis Diamond Distributive tree Non-saturation square Commutative cancellative semigroups projective Boolean algebra Mandelbrot set Stevo Todorcevic 11P99 free Souslin tree Luzin set Partition Relations Rock n' Roll Successor of Regular Cardinal Small forcing Almost-disjoint famiy

# Tag Archives: S-Space

## Syndetic colorings with applications to S and L

Notation. Write $\mathcal Q(A):=\{ a\subseteq A\mid a\text{ is finite}, a\neq\emptyset\}$. Definition. An L-space is a regular hereditarily Lindelöf topological space which is not hereditarily separable. Definition. We say that a coloring $c:[\omega_1]^2\rightarrow\omega$ is L-syndetic if the following holds. For every uncountable … 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

## 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