You are currently browsing the category archive for the ‘Synthetic differential geometry’ category.

G. E. Reyes (1989). Non-standard truth-values and modalities. Atti degli Incontri di Logica
Matematica (AILA), XIII Incontro: Logiche modali et temporali, 53-65. (TT&CL)

Druck I. F. and G. E. Reyes (1987). Sur la convergence de suites de fonctions suivant des
filtres. In F. Borceux (ed.). Categorical Algebra and its Applications (Proceedings of the
1987 Conference on Categories in Louvain-la-Neuve. LNM 1348. Berlin: Springer-V102-106. (SDG)

Moerdijk I., Ngo van Quê and G. E. Reyes (1987). Rings of smooth functions and their
localizations II. In Kueker D. W. , Lopez-Escobar E. K. G. and C. H. Smith (eds.).
Mathematical Logic and Theoretical Computer Science (Logic Year in Maryland 1985).
Lecture Notes in Pure and Applied Mathematics 106. New York: Marcel Dekker, 277-300.
(SDG)

Kock A. and G. E. Reyes (1987). Corrigendum and addenda to the paper
`Convenient vector space embed…’. Cahiers de Top. et Geom. Diff. Categ. 28 (2),
99-110.

Moerdijk I., Ngo van Quê and G. E. Reyes (1987). Forcing square roots and
integration theory. Fund. Math. 128, 145-158.

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.