On the relative strength of forms of compactness of metric spaces and their countable productivity in ZF
In the paper under review, the author studies the interrelation between forms of compactness of metric spaces ((Heine-Borel) compact, limit point compact, sequentially compact, Cantor complete and totally bounded, (Fréchet) complete and totally bounded, complete and sequentially bounded, countably compact; for metric spaces, all these forms of compactness are pairwise equivalent in \textbf{ZFC}, i.e., Zermelo-Fraenkel set theory plus the axiom of choice) and their countable productivity in set theory without the axiom of choice. Typical results (in \textbf{ZF}, i.e., Zermelo-Fraenkel set theory without choice) are: 1) A countably compact metric space need not be limit point compact or totally bounded and, a limit point compact metric space need not be totally bounded. 2) A complete, totally bounded metric space need not be limit point compact or Cantor complete. 3) A Cantor complete, totally bounded metric space need not be limit point compact. 4) A second countable, limit point compact metric space need not be totally bounded or Cantor complete. 5) A sequentially compact, selective metric space (i.e., the family of all non-empty open subsets of the space has a choice function) is compact. 6) The Tychonoff product of countably many sequentially compact (resp. complete and totally bounded) metric spaces is sequentially compact (resp. complete and totally bounded).
- On the set-theoretic strength of countable compactness of the Tychonoff product \(2^{\mathbb{R}}\)
- On weaker forms of compactness, Lindelöfness, and countable compactness
- Several results on compact metrizable spaces in \(\mathbf{ZF} \)
- Compact Metric Spaces and Weak Forms of the Axiom of Choice
- Some versions of second countability of metric spaces in ZF and their role to compactness.
- On sequential compactness and related notions of compactness of metric spaces in ZF
- On a Weaker Form of Countable Compactness
- Countable sums and products of metrizable spaces in ZF
- Compactifications of Countable-Dimensional and Strongly Countable- Dimensional Spaces
- scientific article; zbMATH DE number 1257183
- A New Proof of the Tychonoff Theorem
- Compact Metric Spaces and Weak Forms of the Axiom of Choice
- Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces
- Countable choice and pseudometric spaces
- Horrors of Topology Without AC: A Nonnormal Orderable Space
- scientific article; zbMATH DE number 2185225 (Why is no real title available?)
- scientific article; zbMATH DE number 3174984 (Why is no real title available?)
- scientific article; zbMATH DE number 1201510 (Why is no real title available?)
- On Loeb and weakly Loeb Hausdorff spaces
- On sequentially compact subspaces of \(\mathbb R\) without the axiom of choice
- Weak axioms of choice for metric spaces
- On Weierstrass compact pseudometric spaces and a weak form of the axiom of choice
- Quasi-metrizability of products in ZF and equivalences of CUT(fin)
- Second-countable compact Hausdorff spaces as remainders in \textbf{ZF} and two new notions of infiniteness
- \(k\)-spaces, sequential spaces and related topics in the absence of the axiom of choice
- Stranger things about the cardinality of compact metric spaces without AC
- Some notions of separability of metric spaces in \(\mathbf {ZF}\) and their relation to compactness
- On metric spaces where continuous real valued functions are uniformly continuous in \(\mathbf{ZF}\)
- On sequential compactness and related notions of compactness of metric spaces in ZF
- Total boundedness and the axiom of choice
- scientific article; zbMATH DE number 4073928 (Why is no real title available?)
- Some versions of second countability of metric spaces in ZF and their role to compactness.
- On pseudocompactness and light compactness of metric spaces in \(\mathbf {ZF}\)
- Second countable UC metric spaces are Lebesgue in ZF
- On subcompactness and countable subcompactness of metrizable spaces in ZF
- On densely complete metric spaces and extensions of uniformly continuous functions in ZF
- Compactness in metric spaces
- On iso-dense and scattered spaces without \textbf{AC}
- A quasi-metrization theorem for hybrid topologies on the real line in \textbf{ZF}
- Metric spaces in choiceless set theory
- On Loeb and sequential spaces in \textbf{ZF}
This page was built for publication: On the relative strength of forms of compactness of metric spaces and their countable productivity in \(\mathbf {\text{ZF}}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q714742)
