English

From eventually different functions to pandemic numberings

Logic 2020-02-05 v1

Abstract

A function is strongly non-recursive (SNR) if it is eventually different from each recursive function. We obtain hierarchy results for the mass problems associated with computing such functions with varying growth bounds. In particular, there is no least and no greatest Muchnik degree among those of the form SNRf_f consisting of SNR functions bounded by varying recursive bounds ff. We show that the connection between SNR functions and canonically immune sets is, in a sense, as strong as that between DNR (diagonally non-recursive) functions and effectively immune sets. Finally, we introduce pandemic numberings, a set-theoretic dual to immunity.

Keywords

Cite

@article{arxiv.2002.01017,
  title  = {From eventually different functions to pandemic numberings},
  author = {Achilles A. Beros and Mushfeq Khan and Bjørn Kjos-Hanssen and André Nies},
  journal= {arXiv preprint arXiv:2002.01017},
  year   = {2020}
}

Comments

Lecture Notes in Computer Science 10936 (2018), 97--106. Computability in Europe 2018

R2 v1 2026-06-23T13:29:56.133Z