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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

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

Some new intuitionistic equivalents of Zorn’s Lemma.John L. Bell - 2003 - Archive for Mathematical Logic 42 (8):811-814.
Zorn's lemma and complete Boolean algebras in intuitionistic type theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
On generic extensions without the axiom of choice.G. P. Monro - 1983 - Journal of Symbolic Logic 48 (1):39-52.
The axiom of choice for well-ordered families and for families of well- orderable sets.Paul Howard & Jean E. Rubin - 1995 - Journal of Symbolic Logic 60 (4):1115-1117.
Ultrapowers without the axiom of choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.
Relations between some cardinals in the absence of the axiom of choice.Lorenz Halbeisen & Saharon Shelah - 2001 - Bulletin of Symbolic Logic 7 (2):237-261.
Cut-elimination for simple type theory with an axiom of choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
On the significance of choice sets with incompatibilities.Vivian Charles Walsh - 1967 - Philosophy of Science 34 (3):243-250.

Analytics

Added to PP
2009-01-28

Downloads
82 (#206,407)

6 months
12 (#223,634)

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