Elementary interpretations of negationless arithmetic
E. López-Escobar (1974)
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 “On an extremely restricted ω-rule”
Elementary interpretations of negationless arithmetic
Arithmetization of metamathematics in a general setting
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
Consistency statements in formal theories
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
On the concepts of completeness and interpretation of formal systems
G. Kreisel (1952)
Fundamenta Mathematicae
Similarity:
Some consequences of the axiom of constructibility
J. Addison (1959)
Fundamenta Mathematicae
Similarity:
Formalizing a non-linear Henkin quantifier
E. López-Escobar (1991)
Fundamenta Mathematicae
Similarity:
On definable sets of positive integers
Andrzej Mostowski (1947)
Fundamenta Mathematicae
Similarity:
Degrees of interpretability
Vítězslav Švejdar (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Non-extensional equality
A. Troelstra (1975)
Fundamenta Mathematicae
Similarity: