You are currently browsing the category archive for the ‘Topos theory’ category.
La Palme Reyes M. and G. E. Reyes (1989). A Boolean-valued Version of Gupta’s
Semantics. Logique et Analyse 127-128. 247-265.
La Palme Reyes M. and G. E. Reyes (1989). Montague’s Semantics for Intensional
Logic. Logique et Analyse 127-128. 319-335.
Lavendhomme R., Lucas Th. and G. E. Reyes (1989). Formal systems for topos-
theoretic modalities. Bull. Soc. math. Belgique (serie A), XLI, Fascicule 2. 333-372.
Joyal A. and G. E. Reyes (1985). Separably real closed local rings. Revista Colombiana de
Matematicas XIX 1, 2 (Proc. V Latin-American Symp. on Math. Logic, Bogotá 1981),
107-115. NB Also published in J. Pure and Applied Algebra 43 (3), 1986, 271-279.
(TT&CL)
G. E. Reyes (1981). Logic and category theory. In Agazzi E. (ed.). Modern Logic – A survey. Dordrecht: D. Reidel Publishing Company, 235-252.
Bunge M. and G. E. Reyes (1981). Boolean spectra and model completions. Fund.
Math. 113, 165-173.
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)
Kock A. and G. E. Reyes (1977). Doctrines in categorical logic. In J. Barwise (ed.).
Handbook of Math. Logic, 283-313.
Gonzalo E. Reyes - Marie La Palme Reyes 