On Stone’s theorem and the Axiom of Choice
HTML articles powered by AMS MathViewer
- by C. Good, I. J. Tree and W. S. Watson PDF
- Proc. Amer. Math. Soc. 126 (1998), 1211-1218 Request permission
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
- Norbert Brunner, Folgenkompaktheit und Auswahlaxiom, Arch. Math. (Brno) 19 (1983), no. 3, 143–144 (German). MR 725196
- P. Erdös and T. Grünwald, On polynomials with only real roots, Ann. of Math. (2) 40 (1939), 537–548. MR 7, DOI 10.2307/1968938
- Eric K. van Douwen, Horrors of topology without $\textrm {AC}$: a nonnormal orderable space, Proc. Amer. Math. Soc. 95 (1985), no. 1, 101–105. MR 796455, DOI 10.1090/S0002-9939-1985-0796455-5
- C. Good and I. J. Tree, Continuing horrors of topology without choice, Topology Appl. 63 (1995), no. 1, 79–90. MR 1328621, DOI 10.1016/0166-8641(95)90010-1
- Paul E. Howard, Rado’s selection lemma does not imply the Boolean prime ideal theorem, Z. Math. Logik Grundlag. Math. 30 (1984), no. 2, 129–132. MR 738961, DOI 10.1002/malq.19840300902
- Thomas J. Jech, The axiom of choice, Studies in Logic and the Foundations of Mathematics, Vol. 75, North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1973. MR 0396271
- Kenneth Kunen, Set theory, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam-New York, 1980. An introduction to independence proofs. MR 597342
- A. Mostowski, On a problem of W. Kinna and K. Wagner, Colloq. Math. 6 (1958), 207–208. MR 100550, DOI 10.4064/cm-6-1-207-208
- Michael D. Potter, Sets, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1990. An introduction. MR 1097395
- Mary Ellen Rudin, A new proof that metric spaces are paracompact, Proc. Amer. Math. Soc. 20 (1969), 603. MR 236876, DOI 10.1090/S0002-9939-1969-0236876-3
- Morgan Ward, Ring homomorphisms which are also lattice homomorphisms, Amer. J. Math. 61 (1939), 783–787. MR 10, DOI 10.2307/2371336
- Stephen Willard, General topology, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1970. MR 0264581
Additional Information
- C. Good
- MR Author ID: 336197
- ORCID: 0000-0001-8646-1462
- Email: c.good@bham.ac.uk
- 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
- Email: watson@mathstat.yorku.ca
- Received by editor(s): March 27, 1996
- Received by editor(s) in revised form: September 17, 1996
- Communicated by: Andreas R. Blass
- © Copyright 1998 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 126 (1998), 1211-1218
- MSC (1991): Primary 54D20; Secondary 03E25
- DOI: https://doi.org/10.1090/S0002-9939-98-04163-X
- MathSciNet review: 1425122