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
Constructivizable and non-constructivizable formal arithmetic structures - MaRDI portal

Constructivizable and non-constructivizable formal arithmetic structures

From MaRDI portal

Publication:4722049

Jump to:navigation, search

DOI10.1070/RM1985V040N06ABEH003720zbMath0614.03028MaRDI QIDQ4722049

A. A. Tverskoj

Publication date: 1986

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

zbMATH Keywords

constructivizable models arithmetical structures

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

This page was built for publication: Constructivizable and non-constructivizable formal arithmetic structures

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