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