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 models with a linear structure of algebraic reducibility - MaRDI portal

Constructivizable models with a linear structure of algebraic reducibility

From MaRDI portal

Publication:2641295

Jump to:navigation, search

DOI10.1007/BF01240268zbMath0722.03035MaRDI QIDQ2641295

S. T. Fedoryaev

Publication date: 1990

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

linear order recursive model constructivization algebraic reducibility structure

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (2)

Structures computable in polynomial time. II ⋮ Some properties of algebraic reducibility of constructivizations

Cites Work

This page was built for publication: Constructivizable models with a linear structure of algebraic reducibility

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