Ordinals and recursive algorithms. - Lior Shiboli; Gabriel Nivasch (CoRR, 2023)