|
Computability in Europe 2006
Logical Approaches to Computational Barriers |
|||||||||
Regular Talk:
|
| Speaker: | Alexandra Soskova |
| Presentation: | aas.pdf |
| Slot: | Sat, 17:00-17:20, Faraday B (col. 1) |
A relativized version of the notion of Degree spectrum of a structure with respect to finitely many abstract structures is presented, inspired by the notion of relatively alpha-intrinsic sets. The connection with the notion of Joint spectrum is studied. Some properties like Minimal Pair type theorem and the existence of Quasi-Minimal degree with respect to the relative spectrum are shown.
| websites: Arnold Beckmann | 2006-04-19
|