| Publication | Date of Publication | Type |
|---|
| Functoriality of modified realizability | 2017-12-08 | Paper |
| Notes on commutation of limits and colimits | 2015-07-08 | Paper |
| Non‐Hausdorff topology and domain theory: selected topics in point‐set topology (New Mathematical Monographs 22) BY Jean Goubault‐Larrecq | 2015-04-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5413231 | 2014-04-29 | Paper |
| What do Freyd's toposes classify? | 2013-11-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847361 | 2013-09-04 | Paper |
| Calibrated toposes | 2013-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5200292 | 2011-08-01 | Paper |
| Foreword | 2011-03-30 | Paper |
| De Morgan's law and the theory of fields | 2009-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3634669 | 2009-06-25 | Paper |
| Quasitoposes, Quasiadhesive Categories and Artin Glueing | 2009-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3539843 | 2008-11-19 | Paper |
| On embedding categories in groupoids | 2008-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3595091 | 2007-08-10 | Paper |
| Complemented sublocales and open maps | 2005-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4663636 | 2005-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4828514 | 2004-11-19 | Paper |
| Corrigenda for Connected limits, familial representability and Artin glueing | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783274 | 2002-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4546499 | 2002-10-16 | Paper |
| An `unsitely' result on atomic morphisms | 2002-07-22 | Paper |
| On the structure of categories of coalgebras | 2001-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936143 | 2000-01-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4226110 | 1999-01-26 | Paper |
| Classifying toposes for first-order theories | 1998-07-01 | Paper |
| Finitary sketches | 1998-04-05 | Paper |
| Cartesian monads on toposes | 1998-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342432 | 1997-06-18 | Paper |
| Variations on the bagdomain theme | 1997-02-27 | Paper |
| Connected limits, familial representability and Artin glueing | 1996-06-16 | Paper |
| Fibrations and partial products in a 2-category | 1994-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3138550 | 1994-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4027462 | 1993-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3986542 | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976465 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3978977 | 1992-06-26 | Paper |
| The ``closed subgroup theorem for localic herds and pregroupoids | 1991-01-01 | Paper |
| Collapsed toposes and cartesian closed varieties | 1990-01-01 | Paper |
| Two notes on nuclei | 1990-01-01 | Paper |
| Fibrewise separation axioms for locales | 1990-01-01 | Paper |
| A topos-theorist looks at dilators | 1989-01-01 | Paper |
| Affine categories and naturally Mal'cev categories | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3820598 | 1989-01-01 | Paper |
| Local Maps of Toposes | 1989-01-01 | Paper |
| A note on inequivalence of realizability toposes | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3792858 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3803303 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783260 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3711309 | 1986-01-01 | Paper |
| When is a variety a topos ? | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3220729 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3702938 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3322276 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3341517 | 1984-01-01 | Paper |
| Almost maximal ideals | 1984-01-01 | Paper |
| Quotients of decidable objects in a topos | 1983-01-01 | Paper |
| The point of pointless topology | 1983-01-01 | Paper |
| Continuous categories and exponentiable toposes | 1982-01-01 | Paper |
| Serre classes for toposes | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3934677 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3965241 | 1982-01-01 | Paper |
| The Gleason cover of a topos. II | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3901650 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922730 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922824 | 1981-01-01 | Paper |
| Tychonoff's theorem without the axiom of choice | 1981-01-01 | Paper |
| Open maps of toposes | 1980-01-01 | Paper |
| The Gleason cover of a topos. I | 1980-01-01 | Paper |
| Tripos theory | 1980-01-01 | Paper |
| Automorphisms of \(\Omega\) | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3050612 | 1979-01-01 | Paper |
| Another condition equivalent to de morgan's law | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3853627 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3864522 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3889051 | 1979-01-01 | Paper |
| On a Topological Topos | 1979-01-01 | Paper |
| A note on complete semilattices | 1978-01-01 | Paper |
| Finiteness and decidability: II | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4173541 | 1978-01-01 | Paper |
| Rings, fields, and spectra | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4145861 | 1977-01-01 | Paper |
| Adjoint Lifting Theorems for Categories of Algebras | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4122067 | 1975-01-01 | Paper |
| The associated sheaf functor in an elementary topos | 1974-01-01 | Paper |
