You are currently browsing the category archive for the ‘Mathematics’ category.
Ngo van Quê and G. E. Reyes (1982). Synthetic Calculus and smooth functors. In
Troelstra A. S. and D. van Dalen (eds.). The L. E. J. Brouwer Symposium.
Amsterdam: North Holland, 377-395.
G. E. Reyes (1981). Analyse dans les topos lisses. Third Colloquium on Categories, Part III (amiens, 1980, France). Cahiers de top. et geom. diff 22,
155-160.
G. E. Reyes (1981). Géométrie différentielle synthétique. Gazette des Sci. Math. du Québec 5, 6-19.
G. E. Reyes (1981). Logic and category theory. In Agazzi E. (ed.). Modern Logic – A survey. Dordrecht: D. Reidel Publishing Company, 235-252.
Kock A. and G. E. Reyes (1981). Models for synthetic integration theory. Math.
Scand. 48, 145-152.
Bunge M. and G. E. Reyes (1981). Boolean spectra and model completions. Fund.
Math. 113, 165-173.
Kock A. and G. E. Reyes (1979). Connections in formal differential geometry.
In Kock A. (ed.). Topos theoretic methods in Geometry (Proceedings of the Open
House on Topos theoretic methods in Geometry and Analysis, Aarhus, may 1978,
Denmark). Aarhus: Various Publication Series No. 30, 158-195.
Kock A. and G. E. Reyes (1979). Manifolds in formal differential geometry. In
Fourman M. P. et al (eds.). Applications of Sheaves (Proceedings, Durham 1977).
LNM 753. Berlin : Springer-Verlag, 514-533.
Dubuc E. and G. E. Reyes (1979). Subtoposes of the ring classifier. In Kock A. (ed.).
Topos theoretic methods in Geometry. Aarhus: Various Publication Series No. 30,
101-122.
G. E. Reyes (1979). Cramer’s rule in the Zariski topos. In Fourman M. P. et al (eds.).
Applications of Sheaves (Proceedings, Durham 1977). LNM 753. Berlin : Springer-
Verlag, 586-594.
Gonzalo E. Reyes - Marie La Palme Reyes 