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
On decomposition of the \(0'\) degree into lesser \(T\)-degrees containing differences of recursively enumerable sets - MaRDI portal

Deprecated: Use of MediaWiki\Skin\SkinTemplate::injectLegacyMenusIntoPersonalTools was deprecated in Please make sure Skin option menus contains `user-menu` (and possibly `notifications`, `user-interface-preferences`, `user-page`) 1.46. [Called from MediaWiki\Skin\SkinTemplate::getPortletsTemplateData in /var/www/html/w/includes/Skin/SkinTemplate.php at line 691] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of MediaWiki\Skin\BaseTemplate::getPersonalTools was deprecated in 1.46 Call $this->getSkin()->getPersonalToolsForMakeListItem instead (T422975). [Called from Skins\Chameleon\Components\NavbarHorizontal\PersonalTools::getHtml in /var/www/html/w/skins/chameleon/src/Components/NavbarHorizontal/PersonalTools.php at line 66] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of QuickTemplate::(get/html/text/haveData) with parameter `personal_urls` was deprecated in MediaWiki Use content_navigation instead. [Called from MediaWiki\Skin\QuickTemplate::get in /var/www/html/w/includes/Skin/QuickTemplate.php at line 131] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

On decomposition of the \(0'\) degree into lesser \(T\)-degrees containing differences of recursively enumerable sets (Q1897906)

From MaRDI portal





scientific article; zbMATH DE number 794558
Language Label Description Also known as
English
On decomposition of the \(0'\) degree into lesser \(T\)-degrees containing differences of recursively enumerable sets
scientific article; zbMATH DE number 794558

    Statements

    On decomposition of the \(0'\) degree into lesser \(T\)-degrees containing differences of recursively enumerable sets (English)
    0 references
    17 September 1995
    0 references
    First I would like to notice that the term ``decomposition'' in the English translation of the title is not completely accurate, because in recursion theory the term ``splitting'' is more general in use. The differences of recursively enumerable (r.e.) sets (briefly, d.r.e. sets) and their degrees are by their properties very close to r.e. sets and degrees. But there are some important differences between them. One of these differences is the non-density of d.r.e. degrees, proved by S. B. Cooper, L. Harrington, A. H. Lachlan, S. Lempp, R. I. Soare. Another difference was found by the author who proves that the degree \(0'\), which is maximal in both the classes of r.e. and d.r.e. degrees, is splittable over any incomplete r.e. degree in the d.r.e. degrees (the impossibility of such a splitting in the r.e. degrees was obtained by A. H. Lachlan (1976) using his famous `monstrous injury' argument).
    0 references
    splitting
    0 references
    d.r.e. sets
    0 references
    d.r.e. degrees
    0 references

    Identifiers