Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types

Journal of Symbolic Logic 18 (2):125 - 135 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268945

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Aubert Karl Egil. Relations généralisées et indépendance logique des notions de réflexivité, symétrie et transitivité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 229 , pp. 538–540.Büchi J. Richard. Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types. [REVIEW]Paul Bernays - 1954 - Journal of Symbolic Logic 19 (4):285-286.
Zorn's lemma and complete Boolean algebras in intuitionistic type theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
The Axiom of Choice in Second‐Order Predicate Logic.Christine Gaßner - 1994 - Mathematical Logic Quarterly 40 (4):533-546.
Ramsey’s theorem and König’s Lemma.T. E. Forster & J. K. Truss - 2007 - Archive for Mathematical Logic 46 (1):37-42.
Sufficient Reason & The Axiom of Choice, an Ontological Proof for One Unique Transcendental God for Every Possible World.Assem Hamdy - manuscript
Büchi J. Richard and Wright Jesse B.. The theory of proportionality as an abstraction of group theory. Mathematische Annalen, vol. 130 no. 2 , pp. 102–108. [REVIEW]Hugo Ribeiro - 1957 - Journal of Symbolic Logic 22 (4):369-369.
Variations of Rado's lemma.Paul Howard - 1993 - Mathematical Logic Quarterly 39 (1):353-356.
Büchi J. Richard. Die Boole'sche Partialordnung und die Paarung von Gefuegen. Portugaliae mathematica, Bd. 7 Hefte 3–4 , S. 119–180. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 15 (4):283-283.
J. Richard Buchi and Lawrence H. Landweber. Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society, vol. 138 , pp. 295–311. [REVIEW]Robert McNaughton - 1972 - Journal of Symbolic Logic 37 (1):200-201.
J. Richard Büchi. Weak second-order arithmetic and finite automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 , pp. 66–92. - J. Richard Büchi. On a decision method in restricted second order arithmetic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 1–11. [REVIEW]Robert McNaughton - 1963 - Journal of Symbolic Logic 28 (1):100-102.

Analytics

Added to PP
2009-01-28

Downloads
106 (#201,462)

6 months
22 (#137,899)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.

Add more references