Professor of Foundations of Mathematics
Research Interests: Category theory, in particular topos theory and connections with logic
Publications
A remark on: “Wallman compactification of locales” [Houston J. Math. \bf 10 (1984), no. 2, 201–206; MR744904] by P. T. Johnstone
– Journal of Mathematical Research and Exposition
(2008)
28,
605
Another condition equivalent to de morgan's law
– Communications in Algebra
(2007)
7,
1309
(doi: 10.1080/00927877908822403)
Quasitoposes, quasiadhesive categories and artin glueing
– ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS
(2007)
4624,
312
Initial normal covers in bi-Heyting toposes
– Arch. Math. (Brno)
(2006)
42,
335
Complemented sublocales and open maps
– Annals of Pure and Applied Logic
(2006)
137,
240
(doi: 10.1016/j.apal.2005.05.030)
On solubility of sublocales
– Topology Proceedings
(2005)
29,
527
Corrigenda for Connected limits, familial representability and Artin glueing
– Mathematical Structures in Computer Science
(2004)
14,
185
(doi: 10.1017/S0960129503004080)
A note on the semiabelian variety of Heyting semilattices
(2004)
43,
317
Sketches of an elephant: A topos theory compendium, vols. 1-2
(2002)
43-44,
- <
- 3 of 10