Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



On Stone's theorem and the Axiom of Choice

Authors: C. Good, I. J. Tree and W. S. Watson
Journal: Proc. Amer. Math. Soc. 126 (1998), 1211-1218
MSC (1991): Primary 54D20; Secondary 03E25
MathSciNet review: 1425122
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: It is a well established fact that in Zermelo-Fraenkel set theory, Tychonoff's Theorem, the statement that the product of compact topological spaces is compact, is equivalent to the Axiom of Choice. On the other hand, Urysohn's Metrization Theorem, that every regular second countable space is metrizable, is provable from just the ZF axioms alone. A. H. Stone's Theorem, that every metric space is paracompact, is considered here from this perspective. Stone's Theorem is shown not to be a theorem in ZF by a forcing argument. The construction also shows that Stone's Theorem cannot be proved by additionally assuming the Principle of Dependent Choice.

References [Enhancements On Off] (What's this?)

  • 1. Brunner N., The axiom of choice in topology, Notre Dame J. Formal Logic 24 (1983), 305-317. MR 85j:54057
  • 2. Dieudonné J.A., Une généralisation des espaces compacts, J. Math. Pures. Appl. 23 (1944), 65-76. MR 7:134f
  • 3. van Douwen E.K., Horrors of topology without AC: a nonnormal orderable space, Proc. Amer. Math. Soc. 95 (1985), 101-105. MR 87d:03130
  • 4. Good C. and Tree I. J., Continuing horrors of topology without choice, Top. Appl. 63 (1995), 79-90. MR 96f:54003
  • 5. Howard P.E., Rado's selection lemma does not imply the Boolean Prime Ideal Theorem, Z. Math Logic Grundlag Math. 30 (1984), 129-132. MR 85d:03099
  • 6. Jech T., The Axiom of Choice, North Holland, Amsterdam 1973. MR 53:139
  • 7. Kunen K., Set Theory, An Introduction To Independence Proofs, North Holland, Amsterdam 1980. MR 82f:03001
  • 8. Mostowski A., On a problem of W. Kinna and K. Wagner, Colloq. Math. 6 (1958), 207-208. MR 20:6980
  • 9. Potter M. D., Sets, An Introduction, Oxford University Press, New York 1990. MR 92c:04001
  • 10. Rudin M. E., A new proof that metric spaces are paracompact, Proc. Amer. Math. Soc. 20 (1969), 603. MR 38:5170
  • 11. Stone A.H., Paracompactness and product spaces, Bull. Amer. Math. Soc. 54 (1948), 977-982. MR 10:204c
  • 12. Willard S., General Topology, Addison-Wesley 1970. MR 41:9173

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (1991): 54D20, 03E25

Retrieve articles in all journals with MSC (1991): 54D20, 03E25

Additional Information

C. Good

I. J. Tree
Affiliation: 62 Arle Gardens, Cheltenham, Gloucestershire GL51 8HR, England

W. S. Watson
Affiliation: Department of Mathematics, York University, North York, Ontario, Canada M3J 1P3

Received by editor(s): March 27, 1996
Received by editor(s) in revised form: September 17, 1996
Communicated by: Andreas R. Blass
Article copyright: © Copyright 1998 American Mathematical Society

American Mathematical Society