Joyal, A. and G. E. Reyes. Forcing and generic models in categorical logic.16 pages.
(1978) (TT&CL)
« A note on tangent bundles in a category with a ring object • Cramer’s rule in the Zariski topos »
Gonzalo E. Reyes - Marie La Palme Reyes
From mathematics to literature. - Des mathématiques à la littérature.
« A note on tangent bundles in a category with a ring object • Cramer’s rule in the Zariski topos »
Joyal, A. and G. E. Reyes. Forcing and generic models in categorical logic.16 pages.
(1978) (TT&CL)