Creativity and Effective Inseparability

DOI10.2307/1993651zbMath0117.25401OpenAlexW4232936613MaRDI QIDQ5727660

Raymond M. Smullyan

Publication date: 1963

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

zbMATH Keywords

mathematical logic

Cites Work

• Unnamed Item
• Undecidable theories
• Decidability and essential undecidability
• Theories with Effectively Inseparable Nuclei
• Undecidable and creative theories
• Theory of Formal Systems. (AM-47)
• Undecidability and recursive inseparability
• Creative sets

This page was built for publication: Creativity and Effective Inseparability