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