Exact Separation of Recursively Enumerable Sets Within Theories

DOI10.2307/2034714zbMath0118.25201OpenAlexW4249423158MaRDI QIDQ5729296

Hilary Putnam, Raymond M. Smullyan

Publication date: 1960

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

zbMATH Keywords

mathematical logic

Related Items (4)

HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? ⋮ On Creative Sets and Indices of Partial Recursive Functions ⋮ Representability of recursively enumerable sets in formal theories ⋮ Bibliography of Hilary Putnam’s Writings in Logic and Mathematics

Cites Work

• Unnamed Item
• Undecidable theories
• Representability op recursively enumerable sets in formal theories
• Creative sets

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