S-spaces can exist under MA (Q789762)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: S-spaces can exist under MA |
scientific article; zbMATH DE number 3846430
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | S-spaces can exist under MA |
scientific article; zbMATH DE number 3846430 |
Statements
S-spaces can exist under MA (English)
0 references
1983
0 references
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).
0 references
HFD
0 references
forcing
0 references
S-space
0 references
axiom of constructibility
0 references
Martin's axiom
0 references
ConZFC
0 references
0.8113808
0 references
