Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Regular Talk:
The jump classes of minimal covers

Speaker: Andrew Edwin Marcus Lewis
Slot: Tue, 15:10-15:30, Faraday B (col. 2)


We work in $ \mathcal{D}[<0'] $. Given the  jump class of
any (Turing) degree $ a $, the jump classes of the minimal covers of $
a $ is a matter which is entirely settled unless $ a $ is $ high_2 $.
We show that there 
exists a c.e. degree which is $ high_2 $ with no $ high_1 $  minimal

websites: Arnold Beckmann 2006-04-19 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by