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