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

scientific article; zbMATH DE number 1531928

From MaRDI portal

Publication:4513971

Jump to:navigation, search

zbMath0963.03060MaRDI QIDQ4513971

Julia F. Knight

Publication date: 18 June 2001

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

zbMATH Keywords

survey enumerations models of arithmetic Scott sets degrees of models completions of PA

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (1)

Solovay's theorem cannot be simplified

This page was built for publication:

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