You are currently browsing gonzalomarie’s articles.
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 