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
Beyond first order logic: from number of structures to structure of numbers. II - MaRDI portal

Beyond first order logic: from number of structures to structure of numbers. II

From MaRDI portal

Publication:2249173

Jump to:navigation, search

zbMath1301.03035MaRDI QIDQ2249173

Meeri Kesälä, Tapani Hyttinen, John T. Baldwin

Publication date: 9 July 2014

Published in: Bulletin of the Iranian Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

countable models models of Peano arithmetic abstract elementary classes categoricity transfer non-elementary model theory

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35) Abstract elementary classes and related topics (03C48)

Related Items (1)

The joint embedding property and maximal models

This page was built for publication: Beyond first order logic: from number of structures to structure of numbers. II

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