| Publication | Date of Publication | Type |
|---|
Overlap Algebras as Almost Discrete Locales
Logical Methods in Computer Science | 2024-01-16 | Paper |
Subspaces in Pointfree Topology: Towards a New Approach to Measure Theory
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
scientific article; zbMATH DE number 7471696 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471696 (Why is no real title available?) | 2022-02-09 | Paper |
Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
Archive for Mathematical Logic | 2021-10-29 | Paper |
Lindenbaum's lemma via open induction
Advances in Proof Theory | 2020-08-07 | Paper |
Solving knights-and-knaves with one equation
The College Mathematics Journal | 2020-07-16 | Paper |
scientific article; zbMATH DE number 7168149 (Why is no real title available?)
(available as arXiv preprint) | 2020-02-17 | Paper |
| Reducibility, a constructive dual of spatiality | 2019-07-19 | Paper |
Overlap Algebras: a Constructive Look at Complete Boolean Algebras
(available as arXiv preprint) | 2019-04-30 | Paper |
Embedding locales and formal topologies into positive topologies
Archive for Mathematical Logic | 2019-01-14 | Paper |
$\sigma$-locales in Formal Topology
(available as arXiv preprint) | 2018-01-29 | Paper |
Positivity relations on a locale
Annals of Pure and Applied Logic | 2016-06-03 | Paper |
Intuitionistic overlap structures
Logic and Logical Philosophy | 2015-04-09 | Paper |
Constructive version of Boolean algebra
Logic Journal of the IGPL | 2013-06-11 | Paper |
Regular opens in constructive topology and a representation theorem for overlap algebras
Annals of Pure and Applied Logic | 2013-03-15 | Paper |
Convergence in formal topology: a unifying notion
Journal of Logic and Analysis | 2013-02-25 | Paper |
A constructive Galois connection between closure and interior
Journal of Symbolic Logic | 2013-01-07 | Paper |
A constructive Galois connection between closure and interior
Journal of Symbolic Logic | 2013-01-07 | Paper |
A constructive investigation of satisfiability
Annals of Pure and Applied Logic | 2011-12-12 | Paper |
A class of imprimitive groups.
Algebra Colloquium | 2010-10-20 | Paper |
The overlap algebra of regular opens
Journal of Pure and Applied Algebra | 2010-06-25 | Paper |
Finitary formal topologies and Stone's representation theorem
Theoretical Computer Science | 2008-10-21 | Paper |
Finiteness in a Minimalist Foundation
Lecture Notes in Computer Science | 2008-06-03 | Paper |
A constructive semantics for non‐deducibility
Mathematical Logic Quarterly | 2008-03-07 | Paper |
