| Publication | Date of Publication | Type |
|---|
Functoriality of modified realizability
Tbilisi Mathematical Journal | 2017-12-08 | Paper |
| Notes on commutation of limits and colimits | 2015-07-08 | Paper |
Notes on commutation of limits and colimits
(available as arXiv preprint) | 2015-07-08 | Paper |
Non‐Hausdorff topology and domain theory: selected topics in point‐set topology (New Mathematical Monographs 22) BY Jean Goubault‐Larrecq
Bulletin of the London Mathematical Society | 2015-04-08 | Paper |
| scientific article; zbMATH DE number 6290072 (Why is no real title available?) | 2014-04-29 | Paper |
What do Freyd's toposes classify?
Logica Universalis | 2013-11-19 | Paper |
Geometric morphisms of realizability toposes
Theory and Applications of Categories | 2013-09-04 | Paper |
Calibrated toposes
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2013-01-17 | Paper |
| scientific article; zbMATH DE number 5934764 (Why is no real title available?) | 2011-08-01 | Paper |
Foreword
Applied Categorical Structures | 2011-03-30 | Paper |
De Morgan's law and the theory of fields
Advances in Mathematics | 2009-11-10 | Paper |
| Fixpoint objects need not be \(\Omega \)-discrete | 2009-06-25 | Paper |
Quasitoposes, Quasiadhesive Categories and Artin Glueing
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
| Initial normal covers in bi-Heyting toposes. | 2008-11-19 | Paper |
| Initial normal covers in bi-Heyting toposes. | 2008-11-19 | Paper |
On embedding categories in groupoids
Mathematical Proceedings of the Cambridge Philosophical Society | 2008-09-08 | Paper |
| On solubility of sublocales | 2007-08-10 | Paper |
Complemented sublocales and open maps
Annals of Pure and Applied Logic | 2005-12-06 | Paper |
| scientific article; zbMATH DE number 2152037 (Why is no real title available?) | 2005-04-04 | Paper |
| scientific article; zbMATH DE number 2117177 (Why is no real title available?) | 2004-11-19 | Paper |
Corrigenda for Connected limits, familial representability and Artin glueing
Mathematical Structures in Computer Science | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 1840601 (Why is no real title available?) | 2002-12-03 | Paper |
| scientific article; zbMATH DE number 1784846 (Why is no real title available?) | 2002-10-16 | Paper |
An `unsitely' result on atomic morphisms
Applied Categorical Structures | 2002-07-22 | Paper |
On the structure of categories of coalgebras
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1392304 (Why is no real title available?) | 2000-01-25 | Paper |
| scientific article; zbMATH DE number 1243159 (Why is no real title available?) | 1999-01-26 | Paper |
| scientific article; zbMATH DE number 1243159 (Why is no real title available?) | 1999-01-26 | Paper |
Classifying toposes for first-order theories
Annals of Pure and Applied Logic | 1998-07-01 | Paper |
Finitary sketches
Journal of Symbolic Logic | 1998-04-05 | Paper |
Cartesian monads on toposes
Journal of Pure and Applied Algebra | 1998-01-18 | Paper |
| scientific article; zbMATH DE number 1024326 (Why is no real title available?) | 1997-06-18 | Paper |
| scientific article; zbMATH DE number 1024326 (Why is no real title available?) | 1997-06-18 | Paper |
Variations on the bagdomain theme
Theoretical Computer Science | 1997-02-27 | Paper |
Connected limits, familial representability and Artin glueing
Mathematical Structures in Computer Science | 1996-06-16 | Paper |
Fibrations and partial products in a 2-category
Applied Categorical Structures | 1994-04-19 | Paper |
| scientific article; zbMATH DE number 431774 (Why is no real title available?) | 1994-04-14 | Paper |
| scientific article; zbMATH DE number 125733 (Why is no real title available?) | 1993-02-21 | Paper |
| scientific article; zbMATH DE number 29048 (Why is no real title available?) | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 29048 (Why is no real title available?) | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 19490 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 19039 (Why is no real title available?) | 1992-06-26 | Paper |
The ``closed subgroup theorem for localic herds and pregroupoids
Journal of Pure and Applied Algebra | 1991-01-01 | Paper |
Collapsed toposes and cartesian closed varieties
Journal of Algebra | 1990-01-01 | Paper |
Fibrewise separation axioms for locales
Mathematical Proceedings of the Cambridge Philosophical Society | 1990-01-01 | Paper |
Two notes on nuclei
Order | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4093447 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4093447 (Why is no real title available?) | 1989-01-01 | Paper |
Local Maps of Toposes
Proceedings of the London Mathematical Society | 1989-01-01 | Paper |
Affine categories and naturally Mal'cev categories
Journal of Pure and Applied Algebra | 1989-01-01 | Paper |
A note on inequivalence of realizability toposes
Mathematical Proceedings of the Cambridge Philosophical Society | 1989-01-01 | Paper |
A topos-theorist looks at dilators
Journal of Pure and Applied Algebra | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4057752 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4057752 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4071162 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4045703 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3940199 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3929909 (Why is no real title available?) | 1985-01-01 | Paper |
When is a variety a topos ?
Algebra Universalis | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3886100 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3853324 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3876180 (Why is no real title available?) | 1984-01-01 | Paper |
Almost maximal ideals
Fundamenta Mathematicae | 1984-01-01 | Paper |
The point of pointless topology
Bulletin of the American Mathematical Society | 1983-01-01 | Paper |
Quotients of decidable objects in a topos
Mathematical Proceedings of the Cambridge Philosophical Society | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3787631 (Why is no real title available?) | 1982-01-01 | Paper |
Continuous categories and exponentiable toposes
Journal of Pure and Applied Algebra | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3749235 (Why is no real title available?) | 1982-01-01 | Paper |
Serre classes for toposes
Bulletin of the Australian Mathematical Society | 1982-01-01 | Paper |
Tychonoff's theorem without the axiom of choice
Fundamenta Mathematicae | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3735877 (Why is no real title available?) | 1981-01-01 | Paper |
The Gleason cover of a topos. II
Journal of Pure and Applied Algebra | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3710374 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3710374 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3736019 (Why is no real title available?) | 1981-01-01 | Paper |
Tripos theory
Mathematical Proceedings of the Cambridge Philosophical Society | 1980-01-01 | Paper |
The Gleason cover of a topos. I
Journal of Pure and Applied Algebra | 1980-01-01 | Paper |
Open maps of toposes
Manuscripta Mathematica | 1980-01-01 | Paper |
On a Topological Topos
Proceedings of the London Mathematical Society | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3654118 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3645323 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3695180 (Why is no real title available?) | 1979-01-01 | Paper |
Automorphisms of \(\Omega\)
Algebra Universalis | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3666806 (Why is no real title available?) | 1979-01-01 | Paper |
Another condition equivalent to de morgan's law
Communications in Algebra | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3608260 (Why is no real title available?) | 1978-01-01 | Paper |
A note on complete semilattices
Algebra Universalis | 1978-01-01 | Paper |
Finiteness and decidability: II
Mathematical Proceedings of the Cambridge Philosophical Society | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3574077 (Why is no real title available?) | 1977-01-01 | Paper |
Rings, fields, and spectra
Journal of Algebra | 1977-01-01 | Paper |
Adjoint Lifting Theorems for Categories of Algebras
Bulletin of the London Mathematical Society | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3547503 (Why is no real title available?) | 1975-01-01 | Paper |
The associated sheaf functor in an elementary topos
Journal of Pure and Applied Algebra | 1974-01-01 | Paper |
