Disasters in topology without the axiom of choice (Q1407509): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Created claim: Wikidata QID (P12): Q114018325, #quickstatements; #temporary_batch_1712688784189 |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Tomasz Natkaniec / rank | |||
Property / reviewed by | |||
Property / reviewed by: Tomasz Natkaniec / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s001530100094 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2017523153 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q114018325 / rank | |||
Normal rank |
Latest revision as of 20:59, 9 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Disasters in topology without the axiom of choice |
scientific article |
Statements
Disasters in topology without the axiom of choice (English)
0 references
16 September 2003
0 references
The author shows that some well-known theorems of topology which are proved in ZFC (e.g., (1) Countable products of metrizable spaces are metrizable. (2) Countable products of second countable spaces are second countable. (3) Countable products of first countable spaces are first countable. (4) Countable products of separable \(T_2\) spaces are separable.) are not provable in ZF\(^-\) without AC. However, the countable axiom of choice CAC implies each of (2) and (4), and the countable multiple choice axiom CMC implies (1) and (3).
0 references
axiom of choice AC
0 references
countable axiom of choice CAC
0 references
countable axiom of multiple choice CMC
0 references
separable
0 references
compact
0 references
countably compact
0 references
first countable
0 references
metrizable
0 references