Que signifie la notation sigma dans le contexte de la calculabilité des fonctions?

Question

Je lisais un article sur la calculabilité de l'AIXI [1] et je suis tombé sur la notion de $ Sigma ^ 0_n $ -Comptabilité pour les fonctions à valeur réelle dans la section 2.3.

J'aimerais en savoir plus plus en détail. Malheureusement, je n'ai trouvé cette définition nulle part ailleurs dans la littérature. J'ai déjà vérifié les références données à la fin du journal.

Quelqu'un pourrait-il m'indiquer un livre / un article que je peux jeter un œil?

---

1. Sur la calculabilité de l'AIXI Par J. Leike et M. Hutter (2015)