Moerdijk I. and G. E. Reyes (1987). A smooth version of the Zariski topos. Adv. in
Math. Vol 65. No.3, 229-253.
Moerdijk I. and G. E. Reyes (1986). Cohomology theories in synthetic differential geometry.
Memorias del Seminario-Taller en Teoría de Categorías, Bogotá, 1983. Revista
Colombiana de Matemáticas. Vol XX.Nos. 3 and 4, 223-276. (SDG)
Moerdijk I. and G. E. Reyes (1986). On the relation between connections and sprays. In
Perez J. H. and X. Caicedo (eds.). Memorias del Seminario-Taller en Teoría de Categorías,
Bogotá, 1983. Revista Colombiana de Matemáticas. Vol XX.Nos. 3 and 4, 187-222. (SDG)
G. E. Reyes (1986). Synthetic Reasoning and Variable Sets. In Lawvere F. W. and S.
Schanuel (eds.). Categories in Continuum Physics (Workshop held at SUNY, Buffalo,
1982). LNM 1174. Berlin: Springer-Verlag, 69-82. (SDG)
Moerdijk I. and G. E. Reyes (1986). The functor category revisited. Proc. Kon. Ned.
Akad. van Wetensch. A 89 (4), 449-454.
Moerdijk I. and G. E. Reyes (1986). Rings of smooth functions and their localizations I.Journal of Algebra 99. No.2, 324-336.
Bélair L. and G. E. Reyes (1985). Calcul Infinitésimal en Géométrie Différentielle
Synthétique. In R. Chuaqui (ed.). Analysis, Geometry and Probability (Proc. First Symp. of
Chilean mathematicians, Valparaiso 1981). New York: Marcel Dekker, 195-220. (SDG)
Joyal A. and G. E. Reyes (1985). Separably real closed local rings. Revista Colombiana de
Matematicas XIX 1, 2 (Proc. V Latin-American Symp. on Math. Logic, Bogotá 1981),
107-115. NB Also published in J. Pure and Applied Algebra 43 (3), 1986, 271-279.
(TT&CL)
Moerdijk I. and G. E. Reyes (1984). De Rham’s theorem in smooth toposes. Math.
Proc. Cambridge Phil. Soc. 96, 61-72.
Moerdijk I. and G. E. Reyes (1984). Smooth spaces versus continuous spaces in
models for Synthetic Differential Geometry. J. Pure and Applied Algebra 32,
143-176.
Gonzalo E. Reyes - Marie La Palme Reyes 