Abstract
It is a well known fact that Zermelo’s Axiom of Choice and Zorn’s Lemma are equivalent logical assumptions. However, an investigation from the viewpoint of the hierarchy of types reveals a complication in the nature of this equivalence. In a type-theoretical formalism both postulates enter as spectra (ZAα) and (ZLα) of formulas, where ZAα is Zermelo’s Axiom and ZLα is Zorn’s Lemma stated for variables of a fixed type α. The complication has its origin in the fact that, although the formula ZAα implies ZLα, in order to deduce ZAα it seems to be necessary to assert Zorn’s Lemma ZLα for a type β which is higher than α. In other words, we don’t know a proof assuring the equivalence of the two formulas ZAα and ZLα. Therefore the equivalence of Zermelo’s Axiom and Zorn’s Lemma has to be understood in the sense that the assertion of the formulas ZAα for all types α implies every one of the formulas ZL β and conversely the assertion of the spectrum of formulas (ZLα) implies every one of the formulas ZAβ.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Church, Alonzo, A formulation of the simple theory of types, this Journal, vol. 5 (1940), pp. 56–68.
Zermelo, Ernst, Neuer Beweis für die Möglichkeit einer Wohlordnung, Mathematische Annalen, vol. 65 (1908), pp. 107–128.
Birkhoff, Garrett, Lattice Theory, American Mathematical Society Colloquium Publications, vol. 25 (1940), v + 155 pp.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Büchi, J.R. (1990). Investigation of the Equivalence of the Axiom of Choice and Zorn’s Lemma from the Viewpoint of the Hierarchy of Types. In: Mac Lane, S., Siefkes, D. (eds) The Collected Works of J. Richard Büchi. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-8928-6_8
Download citation
DOI: https://doi.org/10.1007/978-1-4613-8928-6_8
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4613-8930-9
Online ISBN: 978-1-4613-8928-6
eBook Packages: Springer Book Archive