Countable choice and pseudometric spaces
The present paper is a survey about the set-theoretical strength (in the hierarchy of weak choice principles) of various topological assertions about pseudometric spaces. A typical example is Theorem 1.12: The countable choice axiom is equivalent to ``Subspaces of separable pseudometric spaces are separable. Reviewer's comment: A pseudometric is like a metric except that the distance of different points may vanish. Nevertheless, the authors' results do not extend to metric spaces, where the strength of most assertions is not known; cf. \textit{P. Howard} and \textit{J. E. Rubin}: Consequences of the axiom of choice (AMS Surveys 59) (1998).
- On Weierstrass compact pseudometric spaces and a weak form of the axiom of choice
- The necessity of nowhere equivalence
- On uniformly continuous functions between pseudometric spaces and the axiom of countable choice
- Countable sets, BCO spaces and selections
- On first and second countable spaces and the axiom of choice
- Extension of positive operators
- On dominated extension of linear operators
- Total boundedness and the axiom of choice
- Some versions of second countability of metric spaces in ZF and their role to compactness.
- On countable choice and sequential spaces
- Spaces of countable free set number and PFA
- The axiom of choice in metric measure spaces and maximal -separated sets
- On the relative strength of forms of compactness of metric spaces and their countable productivity in \(\mathbf {\text{ZF}}\)
- On extension of linear selectors
This page was built for publication: Countable choice and pseudometric spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295287)
