English

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 α\alpha-Computability Theory. We define an α\alpha-Kalimullin pair and show that it is definable in the α\alpha-enumeration degrees Dαe\mathcal{D}_{\alpha e} if the projectum of α\alpha is α=ω\alpha^*=\omega or if α\alpha is an infinite regular cardinal. Finally using this work on α\alpha-semicomputability and α\alpha-Kalimullin pairs we conclude that every nontrivial total α\alpha-enumeration degree is a join of a maximal α\alpha-Kalimullin pair if α\alpha 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

R2 v1 2026-06-23T07:38:48.311Z