GRIFFOR, E. R. Definability and forcing in E-recursion. MATHEMATICA SCANDINAVICA, [S. l.], v. 57, p. 5–28, 1985. DOI: 10.7146/math.scand.a-12103. Disponível em: https://www.mscand.dk/article/view/12103. Acesso em: 29 apr. 2024.