Extending the Cooper minimal pair theorem (Q5934293)
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: Extending the Cooper minimal pair theorem |
scientific article; zbMATH DE number 1606597
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Extending the Cooper minimal pair theorem |
scientific article; zbMATH DE number 1606597 |
Statements
Extending the Cooper minimal pair theorem (English)
0 references
23 September 2001
0 references
The author proves that for any high recursively enumerable (r.e.) degree \(h\) and r.e. degree \(b\) such that \(h\nleq b\), there exist r.e. degrees \(a_0\) and \(a_1\) such that \(a_0,a_1 \nleq b\) and \(a_0,a_1\) form a minimal pair below \(h\).
0 references
recursively enumerable degree
0 references
minimal pair
0 references
0.8208740949630737
0 references
0.8206832408905029
0 references
0.8183211088180542
0 references
0.817561149597168
0 references
0.8104798793792725
0 references
