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

scientific article

From MaRDI portal

Publication:3760545

Jump to:navigation, search

zbMath0623.03056MaRDI QIDQ3760545

Roman Kossak

Publication date: 1986

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

zbMATH Keywords

automorphisms Peano arithmetic countable model recursively saturated models free sets non-standard cut

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Model theory of denumerable and separable structures (03C15)

Related Items (3)

Four problems concerning recursively saturated models of arithmetic ⋮ Truth in generic cuts ⋮ Automorphisms of recursively saturated models of arithmetic

This page was built for publication:

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