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