𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Countable choice and pseudometric spaces

✍ Scribed by H.L. Bentley; H. Herrlich


Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
672 KB
Volume
85
Category
Article
ISSN
0166-8641

No coin nor oath required. For personal study only.

✦ Synopsis


In the realm of pseudometric spaces the role of choice principles is investigated. In particular it is shown that in ZF (i.e., Zermelo-Fraenkel set theory without the axiom of choice) the axiom of countable choice is not only sufficient but also necessary to establish each of the following results:

  1. separable -countable base, 2. separable -LindelGf, 3. separable ti topologically totally bounded, 4. compact + separable, 5. separability is hereditary, 6. the Baire Category Theorem for complete spaces with countable base, 7. the Baire Category Theorem for complete, totally bounded spaces, 8. compact -sequentially compact, 9. compact -(totally bounded and complete), IO. sequentially compact -(totally bounded and complete), 1 1. WeierstraD compact -(totally bounded and complete).

πŸ“œ SIMILAR VOLUMES


On countable choice and sequential space
✍ GonΓ§alo Gutierres πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 121 KB

## Abstract Under the axiom of choice, every first countable space is a FrΓ©chet‐Urysohn space. Although, in its absence even ℝ may fail to be a sequential space. Our goal in this paper is to discuss under which set‐theoretic conditions some topological classes, such as the first countable spaces,

CH and first countable, countably compac
✍ Todd Eisworth πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 157 KB

We show that it is consistent with the Continuum Hypothesis that first countable, countably compact spaces with no uncountable free sequences are compact. As a consequence, we get that CH does not imply the existence of a perfectly normal, countably compact, non-compact space, answering a question o

Countable Direct Sums of Banach Spaces
✍ M. Valdivia πŸ“‚ Article πŸ“… 1989 πŸ› John Wiley and Sons 🌐 English βš– 287 KB

Let (XJF-1 be a sequence of infinite-dimensional BANACH spaces. We prove that 00 @ X, has a non-locally complete quotient if XI is not quasi-reflexive.