You are currently browsing the category archive for the ‘Gonzalo E. Reyes’ category.
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.
Joyal, A. and G. E. Reyes. Forcing and generic models in categorical logic.16 pages.
(1978) (TT&CL)
Reyes G. E. and G. Wraith (1978). A note on tangent bundles in a category with a
ring object. Math. Scand. 42, 53-63.
G. E. Reyes (1978). Théorie des modèles et faisceaux. Advances in Math. Vol 30.
No.2, 156-170.
Makkai M. and G. E. Reyes (1977). First-order categorical logic. LNM 611.
Berlin: Springer-Verlag.
Gonzalo E. Reyes - Marie La Palme Reyes 