Some theorems on vector spaces and the axiom of choice
M. Bleicher (1964)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Multiple choice axioms and axioms of choice for finite sets”
Some theorems on vector spaces and the axiom of choice
Novak's result by Henkin's method
H. Doest (1969)
Fundamenta Mathematicae
Similarity:
A reduction of the axioms for the theory of prepositional types
P. Andrews (1963)
Fundamenta Mathematicae
Similarity:
Comparison of the axioms of local and universal choice
Urlich Felgner (1971)
Fundamenta Mathematicae
Similarity:
Metamathematics of the alternative set theory. I.
Antonín Sochor (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Axioms of multiple choice
A. Lévy (1962)
Fundamenta Mathematicae
Similarity:
On a weak Kelley-Morse theory of classes
Wiktor V. Marek, Antonín Sochor (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Quantifier-free axioms for constructive plane geometry
Nancy Moler, Patrick Suppes (1968)
Compositio Mathematica
Similarity: