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