You are currently browsing the monthly archive for June 1979.

Kock A. and G. E. Reyes (1979). Connections in formal differential geometry.

In Kock A. (ed.). Topos theoretic methods in Geometry (Proceedings of the Open

House on Topos theoretic methods in Geometry and Analysis, Aarhus, may 1978,

Denmark). Aarhus: Various Publication Series No. 30, 158-195.

Kock A. and G. E. Reyes (1979). Manifolds in formal differential geometry. In

Fourman M. P. et al (eds.). Applications of Sheaves (Proceedings, Durham 1977).

LNM 753. Berlin : Springer-Verlag, 514-533.

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.