Kalimullin Pair and Semicomputability in $\alpha$-Computability Theory
Logic
2019-02-13 v1
Abstract
We generalize some results on semicomputability by Jockusch \cite{jockusch1968semirecursive} to the setting of -Computability Theory. We define an -Kalimullin pair and show that it is definable in the -enumeration degrees if the projectum of is or if is an infinite regular cardinal. Finally using this work on -semicomputability and -Kalimullin pairs we conclude that every nontrivial total -enumeration degree is a join of a maximal -Kalimullin pair if is an infinite regular cardinal.
Keywords
Cite
@article{arxiv.1902.04424,
title = {Kalimullin Pair and Semicomputability in $\alpha$-Computability Theory},
author = {Dávid Natingga},
journal= {arXiv preprint arXiv:1902.04424},
year = {2019}
}
Comments
18 pages