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

scientific article; zbMATH DE number 663792

From MaRDI portal

Publication:4309361

Jump to:navigation, search

zbMath0814.03028MaRDI QIDQ4309361

Dugald Macpherson, Richard W. Kaye

Publication date: 18 October 1994

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

zbMATH Keywords

survey automorphism group recursive saturation resplendency recursively saturated model of Peano arithmetic arithmetical saturation

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Models of arithmetic and set theory (03C62) Computable structure theory, computable model theory (03C57) Infinite automorphism groups (20B27)

Related Items (1)

A model-theoretic characterization of the weak pigeonhole principle

This page was built for publication:

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