The interdependence of certain consequences of the axiom of choice
A. Lévy (1964)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: