Exact Separation of Recursively Enumerable Sets Within Theories

DOI10.2307/2034714zbMATH Open0118.25201OpenAlexW4249423158MaRDI QIDQ5729296FDOQ5729296

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

• Title not available (Why is that?)
• Undecidable theories
• Creative sets
• Representability op recursively enumerable sets in formal theories

Cited In (4)

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

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)