An undecidable arithmetical statement
Andrzej Mostowski (1949)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “A set of independent axioms for extensive quantities”
An undecidable arithmetical statement
Meaningfulness and the Erlanger program of Felix Klein
L. Narens (1988)
Mathématiques et Sciences Humaines
Similarity:
Towards finishing off the axiom of reducibility
Philippe de Rouilhan (1996)
Philosophia Scientiae
Similarity:
Set existence principles of Shoenfield, Ackermann, and Powell
W. Reinhardt (1974)
Fundamenta Mathematicae
Similarity:
The equivalence of two definitions of elementary formal system
Haskell B. Curry (1968)
Compositio Mathematica
Similarity:
Quantifier-free axioms for constructive plane geometry
Nancy Moler, Patrick Suppes (1968)
Compositio Mathematica
Similarity:
Some theorems on vector spaces and the axiom of choice
M. Bleicher (1964)
Fundamenta Mathematicae
Similarity:
Attributes, sets, partial sets and identity
P. C. Gilmore (1968)
Compositio Mathematica
Similarity:
Some impredicative definitions in the axiomatic set theory
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity: