Elementary interpretations of negationless arithmetic
E. López-Escobar (1974)
Fundamenta Mathematicae
Similarity:
E. López-Escobar (1974)
Fundamenta Mathematicae
Similarity:
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
R. Jeroslow (1971)
Fundamenta Mathematicae
Similarity:
G. Kreisel (1952)
Fundamenta Mathematicae
Similarity:
J. Addison (1959)
Fundamenta Mathematicae
Similarity:
E. López-Escobar (1991)
Fundamenta Mathematicae
Similarity:
Andrzej Mostowski (1947)
Fundamenta Mathematicae
Similarity:
Vítězslav Švejdar (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
A. Troelstra (1975)
Fundamenta Mathematicae
Similarity: