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