In their classical papers, Lerman, Lachlan, and Lebeuf developed the embedding method, which provides constructions of initial segments of Turing degrees isomorphic to various partially ordered structures. We analyze this method and prove that there is a nonzero degree below each decreasing chain of degrees uniform in 0'. This imposes restrictions on the application of the embedding method.
机构:
Univ Reunion, Fac Sci Technol, LIM, ERMIT,PTU, 2 Rue Joseph Wetzell, F-97490 St Clotilde, FranceUniv Reunion, Fac Sci Technol, LIM, ERMIT,PTU, 2 Rue Joseph Wetzell, F-97490 St Clotilde, France
Delhomme, Christian
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS,
2019,
36
(02):
: 159
-
197