Griffor, E. R. “Definability and Forcing in E-Recursion”. MATHEMATICA SCANDINAVICA 57 (December 1, 1985): 5–28. Accessed April 29, 2024. https://www.mscand.dk/article/view/12103.