The interdependence of certain consequences of the axiom of choice
A. Lévy (1964)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “A reduction of the axioms for the theory of prepositional types”
The interdependence of certain consequences of the axiom of choice
[unknown]
M. Jelić (1990)
Matematički Vesnik
Similarity:
Quantifier-free axioms for constructive plane geometry
Nancy Moler, Patrick Suppes (1968)
Compositio Mathematica
Similarity:
On the axiom of choice for families of finite sets
K. Wiśniewski (1972)
Fundamenta Mathematicae
Similarity:
A theory of prepositional types
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
Meaningfulness and the Erlanger program of Felix Klein
L. Narens (1988)
Mathématiques et Sciences Humaines
Similarity:
Three Propositions Equivalent To The Axiom Of Choice
Perry Smith (1982)
Publications de l'Institut Mathématique
Similarity:
Metamathematics of the alternative set theory. I.
Antonín Sochor (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity: