Moldestad, J., and V. Stoltenberg-hansen. “Finite Alogorithmic Procedures and Inductive Definability”. MATHEMATICA SCANDINAVICA 46 (June 1, 1980): 62–76. Accessed August 14, 2026. https://tidsskrift.dk/math/article/view/11852.