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.

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,

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.