Automorphism bases for the recursively enumerable degrees: in memory of S. Barry Cooper (1943-2015)

We give various examples of automorphism bases for the recursively enumerable (r.e.) degrees. In particular, we show that any nontrivial initial segment of the r.e. degrees is an automorphism base.

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Ambos-Spies, Klaus (VerfasserIn)
Dokumenttyp: Article (Journal) Festschrift
Sprache:Englisch
Veröffentlicht: 7 June 2018
In: Computability
Year: 2018, Jahrgang: 7, Heft: 2-3, Pages: 237-258
ISSN:2211-3576
DOI:10.3233/COM-180088
Schlagworte:
Online-Zugang:Verlag, lizenzpflichtig, Volltext: https://doi.org/10.3233/COM-180088
Verlag, lizenzpflichtig, Volltext: https://content.iospress.com/articles/computability/com088
Volltext
Verfasserangaben:Klaus Ambos-Spies
Beschreibung
Zusammenfassung:We give various examples of automorphism bases for the recursively enumerable (r.e.) degrees. In particular, we show that any nontrivial initial segment of the r.e. degrees is an automorphism base.
Beschreibung:Gesehen am 12.05.2020
Beschreibung:Online Resource
ISSN:2211-3576
DOI:10.3233/COM-180088