Relativized projecta and \(\beta\)-r. e. sets (Q1387094)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Relativized projecta and \(\beta\)-r. e. sets |
scientific article; zbMATH DE number 1158100
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relativized projecta and \(\beta\)-r. e. sets |
scientific article; zbMATH DE number 1158100 |
Statements
Relativized projecta and \(\beta\)-r. e. sets (English)
0 references
3 December 1998
0 references
This paper in \(\beta\)-recursion theory shows how to obtain tame r.e. sets with large projecta or with small projecta. The former is simpler to do; most of the paper is devoted to accomplishing the latter, via a theorem that provides a weak jump inversion.
0 references
\(\beta\)-r.e. sets
0 references
\(\beta\)-recursion theory
0 references
tame r.e. sets
0 references
weak jump inversion
0 references
projectum
0 references
0 references
0 references
0.85109663
0 references
0 references
0.8478713
0 references
0.8475392
0 references
0.84537697
0 references
