Tag Archives: S-Space

A guessing principle from a Souslin tree, with applications to topology

Joint work with Roy Shalev. Abstract. We introduce a new combinatorial principle which we call AD. This principle asserts the existence of a certain multi-ladder system with guessing and almost-disjointness features, and is shown to be sufficient for carrying out … Continue reading

Posted in Publications, Souslin Hypothesis, Topology | Tagged , , , , , , | 2 Comments

Syndetic colorings with applications to S and L

Notation. Write Q(A):={aAa is finite,a}. Definition. An L-space is a regular hereditarily Lindelöf topological space which is not hereditarily separable. Definition. We say that a coloring c:[ω1]2ω is L-syndetic if the following holds. For every uncountable … Continue reading

Posted in Blog, Expository, Open Problems | Tagged , , | 1 Comment

The S-space problem, and the cardinal invariant 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

Posted in Blog, Expository | Tagged , | Leave a comment

The S-space problem, and the cardinal invariant 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

Posted in Blog, Expository | Tagged , | Leave a comment

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 C=(<ωω,) be the notion of … Continue reading

Posted in Blog, Expository | Tagged , | 6 Comments

The S-space problem, and the cardinal invariant 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 , , , | 4 Comments