Deduction-preserving "Recursive Isomorphisms" between theories
Marian Pour-El, Saul Kripke (1967)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Marian Pour-El, Saul Kripke (1967)
Fundamenta Mathematicae
Similarity:
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
R. O. Gandy (1967)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Andrzej Mostowski (1955)
Fundamenta Mathematicae
Similarity:
Carl E. Gordon (1970)
Compositio Mathematica
Similarity:
S. Kleene (1958)
Colloquium Mathematicae
Similarity:
Andrzej Grzegorczyk (1964)
Fundamenta Mathematicae
Similarity:
J. Shoenfield (1961)
Fundamenta Mathematicae
Similarity: