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
Hanf Number for Scott Sentences of Computable Structures - MaRDI portal

Hanf Number for Scott Sentences of Computable Structures

From MaRDI portal

Publication:6270063

Jump to:navigation, search

DOI10.1007/S00153-018-0615-6zbMath1522.03123DBLPjournals/aml/GoncharovKS18arXiv1602.01156WikidataQ59166137 ScholiaQ59166137MaRDI QIDQ6270063

Sergei S. Goncharov, Ioannis Souldatos, Julia F. Knight

Publication date: 2 February 2016

Mathematics Subject Classification ID

Properties of classes of models (03C52) Other infinitary logic (03C75) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Logic on admissible sets (03C70)

This page was built for publication: Hanf Number for Scott Sentences of Computable Structures

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