Deduction-preserving “recursive isomorphisms” between theories

DOI10.1090/S0002-9904-1967-11689-6zbMath0174.02004OpenAlexW1973799827MaRDI QIDQ5561955

Marian Boykan Pour-El, Saul A. Kripke

Publication date: 1967

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/213983

zbMATH Keywords

recursion theory, constructive mathematics

Related Items

A survey of proof theory, Effectively extensible theories, Unnamed Item, On the degree spectrum of a $\Pi ^0_1$ class

Cites Work

• Undecidable theories
• Mathematical significance of consistency proofs
• Arithmetization of metamathematics in a general setting
• Theory of Formal Systems. (AM-47)
• “Recursive isomorphism” and effectively extensible theories
• Creative sets