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

scientific article; zbMATH DE number 3993528

From MaRDI portal

Publication:4722028

Jump to:navigation, search

zbMath0614.03002MaRDI QIDQ4722028

Nobuyoshi Motohashi

Publication date: 1985

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

zbMATH Keywords

decidability proof theory ultraproducts stability theory expository paper number of models truth definition abstract model theory first order theories preservation theorems first order structures development of model theory Gödel's completeness and incompleteness theorems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) General logic (03B99) Model theory (03Cxx)

This page was built for publication:

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