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
Strong jump inversion - MaRDI portal

Strong jump inversion

From MaRDI portal

Publication:4612448

Jump to:navigation, search

DOI10.1093/LOGCOM/EXY025zbMath1444.03138arXiv1808.07124OpenAlexW2888323212WikidataQ129410394 ScholiaQ129410394MaRDI QIDQ4612448

No author found.

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1808.07124

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (1)

COPYING ONE OF A PAIR OF STRUCTURES

This page was built for publication: Strong jump inversion

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