An undecidable arithmetical statement
Andrzej Mostowski (1949)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
Displaying similar documents to “A contribution to Gödel's axiomatic set theory, III”
An undecidable arithmetical statement
Axioms of multiple choice
A. Lévy (1962)
Fundamenta Mathematicae
Similarity:
Quantifier-free axioms for constructive plane geometry
Nancy Moler, Patrick Suppes (1968)
Compositio Mathematica
Similarity:
On a weak Kelley-Morse theory of classes
Wiktor V. Marek, Antonín Sochor (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Axiomatizability of second order arithmetic with ω-rule
Paweł Zbierski (1978)
Fundamenta Mathematicae
Similarity: