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.
Displaying similar documents to “A generalization of the incompleteness theorem”
Deduction-preserving "Recursive Isomorphisms" between theories
Arithmetization of metamathematics in a general setting
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
General recursive functionals of finite type and hierarchies of functions
R. O. Gandy (1967)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Examples of sets definable by means of two and three quantifiers
Andrzej Mostowski (1955)
Fundamenta Mathematicae
Similarity:
Comparisons between some generalizations of recursion theory
Carl E. Gordon (1970)
Compositio Mathematica
Similarity:
Extension of an effectively generated class of functions by enumeration
S. Kleene (1958)
Colloquium Mathematicae
Similarity:
Recursive objects in all finite types
Andrzej Grzegorczyk (1964)
Fundamenta Mathematicae
Similarity:
Undecidable and creative theories
J. Shoenfield (1961)
Fundamenta Mathematicae
Similarity: