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