{"id":"arxiv/2605.21194","url":"https://arxiv.org/abs/2605.21194","tags":["math.LO"],"score":0,"title":"Listing the hyperarithmetical functions","domain":"math.LO","source":"arxiv","authors":["Joseph S. Miller","Gian Marco Osso","Isabella Scott"],"reviews":0,"subject":"math.LO","summary":"Given a countable Turing ideal $\\mathcal{I} \\subseteq ω^ω$, we say that $x$ is a list (resp. weak list) of $\\mathcal{I}$ if $\\mathcal{I}=\\{x^{[n]} : n \\in ω\\}$ (resp. if $\\mathcal{I} \\subseteq \\{x^{[n]} :n \\in ω\\}$). We show that, for several natural ideals $\\mathcal{I}$, $x$ computes a list of $\\mathcal{I}$ if and only if it computes a function dominating all the functions in $\\mathcal{I}$. On the other hand, we provide reals which are $\\mathsf{HYP}$-strongly null engulfing (and hence $\\mathsf{HYP}$-dominating, by results of Greenberg, Kuyper and Turetsky) but which cannot compute a weak…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-20","reactions":{}}