Classifying toposes for some theories of 'C POT. ∞'−rings
Jean Cerqueira Berni Hugo Luiz Mariano; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)
South American Journal of Logic Campinas v. 4, n. 2, p. 313–350, 2018
Campinas 2018
Online access. The library also has physical copies.