Publication:4274292
From MaRDI portal
zbMath0796.03003MaRDI QIDQ4274292
Publication date: 14 December 1993
productivity; reducibility; indexing; recursion theory; recursion theorems; recursivity; recursive enumerability; recursive inseparability; effective inseparability; universal systems; creative systems; double generativity; generative sets; metamathematics of incompleteness and undecidability; Putnam-Smullyan Theorem; Shepherdson Theorem; uniform Gödelization
03D35: Undecidability and degrees of sets of sentences
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03D99: Computability and recursion theory
03F99: Proof theory and constructive mathematics
Related Items
Roots and (Re)sources of Value (In)definiteness Versus Contextuality, There are no minimal effectively inseparable theories, On fuzzification of Tarski's fixed point theorem without transitivity, Immune Systems in Computer Virology