Computability in Europe 2006
Logical Approaches to Computational Barriers
|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|