{\alpha} degrees as an automorphism base for the {\alpha}-enumeration degrees
Logic
2019-02-13 v2
Abstract
Selman's Theorem in classical Computability Theory gives a characterization of the enumeration reducibility for arbitrary sets in terms of the enumeration reducibility on the total sets: . This theorem implies directly that the Turing degrees are an automorphism base of the enumeration degrees. We lift the classical proof to the setting of the -Computability Theory to obtain the full generalization when is a regular cardinal and partial results for a general admissible ordinal .
Cite
@article{arxiv.1812.11308,
title = {{\alpha} degrees as an automorphism base for the {\alpha}-enumeration degrees},
author = {Dávid Natingga},
journal= {arXiv preprint arXiv:1812.11308},
year = {2019}
}
Comments
8 pages