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

scientific article; zbMATH DE number 2047487

From MaRDI portal

Publication:4451644

Jump to:navigation, search

zbMath1034.03047MaRDI QIDQ4451644

P. E. Alaev

Publication date: 29 February 2004

Full work available at URL: https://eudml.org/doc/188056

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

zbMATH Keywords

computable model Scott family recursive model computable formula infinitary formula

Mathematics Subject Classification ID

Other infinitary logic (03C75) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (1)

The Complexity of intrinsically r.e. subsets of existentially decidable models

This page was built for publication:

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