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

scientific article; zbMATH DE number 5241977

From MaRDI portal

Publication:5445166

Jump to:navigation, search

zbMath1141.03013MaRDI QIDQ5445166

Konrad Zdanowski, Michał Krynicki, Marcin Mostowski

Publication date: 3 March 2008

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

zbMATH Keywords

finite models interpretations models of arithmetic complete sets finite arithmetic truth definitions FM-representability

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Models of arithmetic and set theory (03C62)

Related Items (1)

Theories of initial segments of standard models of arithmetics and their complete extensions

This page was built for publication:

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