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
Model completeness and relative decidability - MaRDI portal

Model completeness and relative decidability

From MaRDI portal

Publication:6314930

Jump to:navigation, search

DOI10.1007/S00153-020-00753-4arXiv1903.00734WikidataQ105642085 ScholiaQ105642085MaRDI QIDQ6314930

Jennifer Chubb, D. Reed Solomon, Russell G. Miller

Publication date: 2 March 2019

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Quantifier elimination, model completeness, and related topics (03C10)

This page was built for publication: Model completeness and relative decidability

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