Moldestad J, Stoltenberg-hansen V. Finite alogorithmic procedures and inductive definability. Math. Scand. [Internet]. 1980 Jun. 1 [cited 2026 Jul. 25];46:62-76. Available from: https://journals.msp.org/mscand/article/view/1795