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 5032253 - MaRDI portal

scientific article; zbMATH DE number 5032253

From MaRDI portal

Publication:5472008

Jump to:navigation, search

zbMath1105.03063MaRDI QIDQ5472008

Valery Plisko

Publication date: 14 June 2006

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

zbMATH Keywords

complexity realizability arithmetical hierarchy predicate logic constructive theories finite types Gödel's interpretations

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) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

This page was built for publication:

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