“Recursive isomorphism” and effectively extensible theories

DOI10.1090/S0002-9904-1965-11325-8MaRDI QIDQ5608005zbMATH OpenOpenAlexFDO

Authors Marian Boykan Pour-El

Publication date 1965

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

Full work available at URL https://doi.org/10.1090/s0002-9904-1965-11325-8

Mathematics Subject Classification ID

Computability and recursion theory (03D99)

Cites work

• Creative sets
• Theory of Formal Systems. (AM-47)
• Undecidable theories

Cited in

(3)

• Myhill's work in recursion theory
• Deduction-preserving “recursive isomorphisms” between theories
• Effectively extensible theories

This page was built for publication: “Recursive isomorphism” and effectively extensible theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5608005)