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