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 |
Externí odkaz: |