MINIMAL PAIRS IN INITIAL SEGMENTS OF THE RECURSIVELY-ENUMERABLE DEGREES

Authors
DOWNEY R STOB M
Citation
R. Downey et M. Stob, MINIMAL PAIRS IN INITIAL SEGMENTS OF THE RECURSIVELY-ENUMERABLE DEGREES, Israel Journal of Mathematics, 100, 1997, pp. 7-27
Citations number
10
Categorie Soggetti
Mathematics, General",Mathematics
Journal title
Israel Journal of Mathematics → ACNP
ISSN journal
00212172
Volume
100
Year of publication
1997
Pages
7 - 27
Database
ISI
SICI code
0021-2172(1997)100:<7:MPIISO>2.0.ZU;2-O
Abstract
We show that for every r.e. Turing degree a > 0, there is an r.e. degr ee b < a which is not half of a minimal pair in the initial segment [0 , a].