Comparison of the axioms of local and universal choice
Urlich Felgner (1971)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Internal and forcing models for the impredicative theory of classes”
Comparison of the axioms of local and universal choice
Axiomatic foundations for Nonstandard Analysis
Karel Hrbacek (1978)
Fundamenta Mathematicae
Similarity:
Set existence principles of Shoenfield, Ackermann, and Powell
W. Reinhardt (1974)
Fundamenta Mathematicae
Similarity:
A contribution to Gödel's axiomatic set theory, I
Ladislav Rieger (1957)
Czechoslovak Mathematical Journal
Similarity:
The interdependence of certain consequences of the axiom of choice
A. Lévy (1964)
Fundamenta Mathematicae
Similarity:
Quantifier-free axioms for constructive plane geometry
Nancy Moler, Patrick Suppes (1968)
Compositio Mathematica
Similarity:
Alternative set theory with elementary classes
Nando Prati (1994)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
In this paper we sketch the development and give a model of the formal version of a generalization of the Alternative Set Theory.