S-spaces can exist under MA

From MaRDI portal





An S-space is a hereditarily separable not Lindelöf regular space. Various examples of S-spaces were constructed using some combinatorial consequences of the axiom of constructibility. It was not known whether S-spaces can exist under Martin's axiom. The author proves, in a remarkable way, that ConZF\(C\to Con(ZFC+Martin's axiom+\exists S\)-space).











This page was built for publication: S-spaces can exist under MA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q789762)