Splitting and cone avoidance in the D.C.E. degrees |
| |
Authors: | S B Cooper and Angsheng Li |
| |
Institution: | 1. Department of Pure Mathematics, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK 2. Department of Pure Mathematics, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK; Institute of Software, Chinese Academy of Sciences, Beijing 100080, China |
| |
Abstract: | It is shown that the Cooper splitting theorem for the n-c.e. degrees is not compatible with cone avoidance: For any n > 1,
there exist n-c.e. degree a, c.e. degree b such that 0 < b < a and such that for any n-c.e. degrees x,y, if x ∨ y = a, then
either b ≤ x or b ≤ y. This provides a new type of elementary difference between the classes of c.e. and d.c.e. degrees, implementable
at lower levels of the high/low hierarchy. |
| |
Keywords: | Cooper splitting theorem cone avoidance |
本文献已被 万方数据 SpringerLink 等数据库收录! |
|