Exact Separation of Recursively Enumerable Sets Within Theories

DOI10.2307/2034714MaRDI QIDQ5729296zbMATH OpenOpenAlexFDO

Authors Hilary W. Putnam, Raymond M. Smullyan

Publication date 1960

Full work available at URL https://doi.org/10.2307/2034714

zbMATH Keywords

mathematical logic

Cites work

• Creative sets
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Representability op recursively enumerable sets in formal theories
• Undecidable theories

Cited in

(5)

• How much propositional logic suffices for Rosser's essential undecidability theorem?
• Bibliography of Hilary Putnam’s Writings in Logic and Mathematics
• On Creative Sets and Indices of Partial Recursive Functions
• Representability of recursively enumerable sets in formal theories
• Mathematical developments of the incompleteness theorems

This page was built for publication: Exact Separation of Recursively Enumerable Sets Within Theories

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