Countable choice and pseudometric spaces (Q1295287)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Countable choice and pseudometric spaces |
scientific article |
Statements
Countable choice and pseudometric spaces (English)
0 references
18 October 1999
0 references
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).
0 references
axiom of choice
0 references
compactness
0 references
Baire category
0 references
separability
0 references
survey
0 references
hierarchy of weak choice principles
0 references
pseudometric spaces
0 references
countable choice
0 references