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.
机构:
Pidstryhach Institute of Applied Problems in Mechanics and Mathematics, Ukrainian Academy of Sciences, L'vivPidstryhach Institute of Applied Problems in Mechanics and Mathematics, Ukrainian Academy of Sciences, L'viv