Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 481375 - MaRDI portal

scientific article; zbMATH DE number 481375

From MaRDI portal

Publication:4274292

Jump to:navigation, search

zbMath0796.03003MaRDI QIDQ4274292

Raymond M. Smullyan

Publication date: 14 December 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (4)

Immune Systems in Computer Virology ⋮ There are no minimal effectively inseparable theories ⋮ On fuzzification of Tarski's fixed point theorem without transitivity ⋮ Roots and (Re)sources of Value (In)definiteness Versus Contextuality

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4274292&oldid=18187895"