Fourman, Michael P. Comparaison des réels d’un topos. Structures lisses sur un topos élémentaire. (French) Zbl 0334.18009 Cah. Topol. Géom. Différ. 16(1975), 233-239 (1976). MSC: 18B99 03B99 PDFBibTeX XMLCite \textit{M. P. Fourman}, Cah. Topologie Géom. Différ. Catégoriques 16, 233--239 (1976; Zbl 0334.18009)
Osius, Gerhard The internal and external aspect of logic and set theory in elementary topoi. (English) Zbl 0362.18001 Cah. Topol. Géom. Différ. 15, 157-180 (1974). MSC: 18A15 18B99 03B99 18F20 03E99 PDFBibTeX XMLCite \textit{G. Osius}, Cah. Topologie Géom. Différ. Catégoriques 15, 157--180 (1974; Zbl 0362.18001) Full Text: Numdam EuDML
Barthelemy, Jean-Pierre Sur la refutabilite. (French) Zbl 0327.18008 Cah. Topol. Géom. Différ. 15, 21-46 (1974). MSC: 18D15 03B99 PDFBibTeX XMLCite \textit{J.-P. Barthelemy}, Cah. Topologie Géom. Différ. Catégoriques 15, 21--46 (1974; Zbl 0327.18008) Full Text: Numdam EuDML