Computability in Europe 2008
Logic and Theory of Algorithms

Print current page  Print this page

Regular Talk:
Cupping Classes of Sigma 2 Enumeration Degrees

Edit abstract data

Speaker: Mariya Ivanova Soskova
Slot: Tue, 11:40-12:00, Room 24 (col. 3)


We prove that no subclass of the Sigma 2 enumeration degrees
containing the 3-c.e. enumeration degrees can be cupped to 0'e by a
single Sigma 2 enumeration degree.

websites: Arnold Beckmann 2008-05-19 Valid HTML 4.01! Valid CSS!