Some versions of second countability of metric spaces in ZF and their role to compactness
From MaRDI portal
Publication:4568249
DOI10.14712/1213-7243.2015.229zbMath1463.54079MaRDI QIDQ4568249
Publication date: 15 June 2018
Published in: Commentationes Mathematicae Universitatis Carolinae (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10338.dmlcz/147182
axiom of choice; Lindelöf space; compact space; countably compact space; separable space; totally bounded space; second countable metric space
54E35: Metric spaces, metrizability
54E45: Compact (locally compact) metric spaces
54A35: Consistency and independence results in general topology
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On metric spaces where continuous real valued functions are uniformly continuous in \(\mathbf{ZF}\)
- On the relative strength of forms of compactness of metric spaces and their countable productivity in \(\mathbf {\text{ZF}}\)
- Countable choice and pseudometric spaces
- Compact Metric Spaces and Weak Forms of the Axiom of Choice
- Some Notions of Separability of Metric Spaces in $\mathbf {ZF}$ and Their Relation to Compactness
- On Stone’s theorem and the Axiom of Choice
- Axiom of choice