Griffor, E. R. “Definability and Forcing in E-Recursion”. MATHEMATICA SCANDINAVICA 57 (December 1, 1985): 5–28. Accessed August 14, 2026. https://tidsskrift.dk/math/article/view/12103.