| Publication | Date of Publication | Type |
|---|
| Implicative models of set theory | 2026-04-02 | Paper |
On categorical structures arising from implicative algebras: from topology to assemblies
Annals of Pure and Applied Logic | 2024-01-08 | Paper |
| Implicative models of intuitionistic set theory | 2023-01-27 | Paper |
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
Logical Methods in Computer Science | 2023-01-09 | Paper |
| On the compatibility between the minimalist foundation and constructive set theory | 2022-12-07 | Paper |
| On posetal and complete partial applicative structures | 2022-11-21 | Paper |
| A categorical reading of the numerical existence property in constructive foundations | 2022-10-09 | Paper |
Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
Archive for Mathematical Logic | 2021-10-29 | Paper |
A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
Journal of Symbolic Logic | 2021-10-27 | Paper |
scientific article; zbMATH DE number 7379292 (Why is no real title available?)
(available as arXiv preprint) | 2021-08-05 | Paper |
Topology as Faithful Communication Through Relations
Fundamenta Informaticae | 2021-05-20 | Paper |
| Extending the extensional level of the Minimalist Foundation to axiomatic set theories | 2021-02-25 | Paper |
Natural density and probability, constructively
Reports on Mathematical Logic | 2020-09-22 | Paper |
Numerical existence property and categories with an internal copy
Logica Universalis | 2020-09-10 | Paper |
Solving knights-and-knaves with one equation
The College Mathematics Journal | 2020-07-16 | Paper |
On the distinction between sets and classes: a categorical perspective
Boston Studies in the Philosophy and History of Science | 2020-02-04 | Paper |
| Remarks on abstract structures of propositions and realizers | 2019-12-18 | Paper |
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
(available as arXiv preprint) | 2019-05-28 | Paper |
Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice
Archive for Mathematical Logic | 2019-01-14 | Paper |
A predicative variant of Hyland's Effective Topos
(available as arXiv preprint) | 2018-06-22 | Paper |
An extensional Kleene realizability semantics for the Minimalist Foundation
(available as arXiv preprint) | 2017-07-12 | Paper |
Topology as faithful communication through relations
(available as arXiv preprint) | 2016-11-09 | Paper |
Models of intuitionistic set theory in subtoposes of nested realizability toposes
Annals of Pure and Applied Logic | 2015-05-15 | Paper |
| What is the real category of sets? | 2012-12-13 | Paper |
Implicative models of set theory
(available as arXiv preprint) | N/A | Paper |
