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.
Kock A. and G. E. Reyes (1977). Doctrines in categorical logic. In J. Barwise (ed.).
Handbook of Math. Logic, 283-313.
G. E. Reyes (1977). Sheaves and concepts: a model-theoretic interpretation of
Grothendieck topoi. Cahiers de Top. et Geom. diff. Vol XVIII, 2, 105-137.
Makkai M. and G. E. Reyes (1976). Model-theoretic methods in the theory of topos
and related categories II. Bull. Acad. Polon. Sciences, 385-392.
Makkai M. and G. E. Reyes (1976). Model-theoretic methods in the theory of topos
and related categories I. Bull. Acad. Polon. Sciences, 379-384.
Beauchemin P. and G. E. Reyes (1975). Espaces de Baire et espaces de
probabilité de structures relationnelles. Advances in Math. Vol 17, No.1, 14-24.
Gonzalo E. Reyes - Marie La Palme Reyes 