Professor of Foundations of Mathematics
Research Interests: Category theory, in particular topos theory and connections with logic
Publications
Local Maps of Toposes
– Proceedings of the London Mathematical Society
(1989)
s3-58,
281
(doi: 10.1112/plms/s3-58.2.281)
Collapsed toposes as bitopological spaces
(1989)
19
A constructive `closed subgroup theorem' for localic groups and groupoids
– Cahiers de Topologie et Geometrie Differentielle Categoriques
(1989)
30,
3
A simple proof that localic subgroups are closed
– Cahiers de Topologie et Geometrie Differentielle Categoriques
(1988)
29,
157
Notes on logic and set theory
(1987)
Teoriya toposov
(1986)
Stone spaces
(1986)
3,
Vietoris locales and localic semilattices
(1985)
101,
155
- <
- 7 of 10