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)
Conditions related to De Morgan’s law
(1979)
753,
479
Injectives in topoi. II. Connections with the axiom of choice
(1979)
719,
207
Formally real local rings, and infinitesimal stability
(1979)
30,
123
ON A TOPOLOGICAL TOPOS
– PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY
(1979)
38,
237
A syntactic approach to Diers’ localizable categories
(1979)
753,
466
A note on complete semilattices
– Algebra Universalis
(1978)
8,
260
- <
- 9 of 10