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

scientific article; zbMATH DE number 1095971

From MaRDI portal

Publication:4368846

Jump to:navigation, search

zbMath0892.03001MaRDI QIDQ4368846

Hans-Otto Carmesin

Publication date: 10 December 1997

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

zbMATH Keywords

consistency limit Gödel's second incompleteness theorem generalized truth values Hilbert's second problem occurrence sequences finitary considerations Gödel's axiom system novel definition procedure theorems of analysis

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Relative consistency and interpretations (03F25)

This page was built for publication:

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