scientific article; zbMATH DE number 481375

MaRDI QIDQ4274292zbMATH OpenFDO

Authors Raymond M. Smullyan

Publication date 14 December 1993

zbMATH Keywords

productivityreducibilityrecursion theoryindexingrecursion theoremsrecursivityrecursive enumerabilityrecursive inseparabilityeffective inseparabilityuniversal systemscreative systemsdouble generativitygenerative setsmetamathematics of incompleteness and undecidabilityPutnam-Smullyan TheoremShepherdson Theoremuniform Gödelization

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Undecidability and degrees of sets of sentences (03D35) Computability and recursion theory (03D99) Proof theory and constructive mathematics (03F99)

Recommendations

• scientific article; zbMATH DE number 664031
• scientific article; zbMATH DE number 4006256
• scientific article; zbMATH DE number 49449
• scientific article; zbMATH DE number 12906
• Gödel's incompleteness theorems
• An Introduction to Gödel's Theorems
• Proofs and computations
• A direct proof of Gödel's incompleteness theorems
• scientific article; zbMATH DE number 53543

Cited in

(12)

• Pour-El's landscape
• scientific article; zbMATH DE number 480999 (Why is no real title available?)
• scientific article; zbMATH DE number 4006256 (Why is no real title available?)
• scientific article; zbMATH DE number 664031 (Why is no real title available?)
• Higher recursion theory
• On fuzzification of Tarski's fixed point theorem without transitivity
• Recursive functions and metamathematics. Problems of completeness and decidability, Gödel's theorems
• scientific article; zbMATH DE number 50606 (Why is no real title available?)
• Secretive interaction. Players and strategies
• Immune Systems in Computer Virology
• Roots and (re)sources of value (in)definiteness \textit{versus} contextuality
• There are no minimal effectively inseparable theories

This page was built for publication:

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