Properties of the jump classes

Properties of the jump classes

We describe a programme of research which aims to find natural definability results in the Turing degrees through a systematic analysis of the order theoretic properties satisfied by the degrees in each jump class.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of logic and computation 2012-08, Vol.22 (4), p.845-855
1. Verfasser: Lewis, A. E. M.
Format: Artikel
Sprache:eng
Schlagworte:
Computation
Logic
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We describe a programme of research which aims to find natural definability results in the Turing degrees through a systematic analysis of the order theoretic properties satisfied by the degrees in each jump class.
ISSN:0955-792X
1465-363X
DOI:10.1093/logcom/exq047