Professor of Foundations of Mathematics
Research Interests: Category theory, in particular topos theory and connections with logic
Publications
Factorization theorems for geometric morphisms. I
– Cahiers de Topologie et Géométrie Différentielle
(1981)
22,
3
THE GLEASON COVER OF A TOPOS .1.
– Journal of Pure and Applied Algebra
(1980)
19,
171
(doi: 10.1016/0022-4049(80)90100-0)
ON A TOPOLOGICAL TOPOS
– PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY
(1979)
38,
237
Conditions related to De Morgan’s law
(1979)
753,
479
Formally real local rings, and infinitesimal stability
(1979)
30,
123
A syntactic approach to Diers’ localizable categories
(1979)
753,
466
Injectives in topoi. II. Connections with the axiom of choice
(1979)
719,
207
Algebraic theories in toposes
(1978)
661,
141
- <
- 9 of 10