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