Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types

Autor: Büchi, J. Richard
Zdroj: The Journal of Symbolic Logic, 1953 Jun 01. 18(2), 125-135.
Databáze: JSTOR Journals