Griffor ER. Definability and forcing in E-recursion. Math. Scand. [Internet]. 1985 Dec. 1 [cited 2024 Nov. 24];57:5-28. Available from: https://www.mscand.dk/article/view/12103