Creativity and Effective Inseparability

DOI10.2307/1993651MaRDI QIDQ5727660zbMATH OpenOpenAlexFDO

Authors Raymond M. Smullyan

Publication date 1963

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

zbMATH Keywords

mathematical logic

Cites work

• Creative sets
• Decidability and essential undecidability
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Theories with Effectively Inseparable Nuclei
• Theory of Formal Systems. (AM-47)
• Undecidability and recursive inseparability
• Undecidable and creative theories
• Undecidable theories

Cited in

(2)

• Order positive fields. I
• Pour-El's landscape

This page was built for publication: Creativity and Effective Inseparability

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