| Publication | Date of Publication | Type |
|---|
How to make (mathematical) assertions with directives
Synthese | 2026-03-31 | Paper |
Formal ontology and mathematics. A case study on the identity of proofs
Topoi | 2024-12-13 | Paper |
Modelling afthairetic modality
Journal of Philosophical Logic | 2024-09-17 | Paper |
| New axioms in set theory | 2024-03-01 | Paper |
INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES
The Review of Symbolic Logic | 2024-01-11 | Paper |
Speech acts in mathematics
Synthese | 2023-12-14 | Paper |
Second order arithmetic as the model companion of set theory
Archive for Mathematical Logic | 2023-04-27 | Paper |
Many-valued logics and bivalent modalities
Logic and Logical Philosophy | 2022-12-20 | Paper |
Logics of Ignorance and Being Wrong
Logic Journal of the IGPL | 2022-11-09 | Paper |
| Squeezing arguments and the plurality of informal notions | 2022-10-12 | Paper |
Ideal objects for set theory
Journal of Philosophical Logic | 2022-06-01 | Paper |
| What model companionship can say about the Continuum problem | 2022-04-28 | Paper |
| Genericity and arbitrariness | 2022-03-25 | Paper |
ZF between classicality and non-classicality
Studia Logica | 2022-03-15 | Paper |
Tableaux for essence and contingency
Logic Journal of the IGPL | 2021-12-03 | Paper |
A non-standard Kripke semantics for the minimal deontic logic
Logic and Logical Philosophy | 2021-12-02 | Paper |
Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness
Notre Dame Journal of Formal Logic | 2021-09-07 | Paper |
Non-classical models of \(\mathsf{ZF}\)
Studia Logica | 2021-08-19 | Paper |
On negation for non-classical set theories
Journal of Philosophical Logic | 2021-06-30 | Paper |
On forms of justification in set theory
The Australasian Journal of Logic | 2021-02-06 | Paper |
A note on logics of essence and accident
Logic Journal of the IGPL | 2021-01-08 | Paper |
| On the naturalness of new axioms in set theory | 2020-08-25 | Paper |
Forcing, Multiverse and Realism
Boston Studies in the Philosophy and History of Science | 2020-07-13 | Paper |
A direct proof of the five element basis theorem
Mathematical Logic Quarterly | 2020-04-29 | Paper |
Infinite forcing and the generic multiverse
Studia Logica | 2020-03-27 | Paper |
Naturalness in mathematics
Boston Studies in the Philosophy and History of Science | 2020-02-04 | Paper |
The model companions of set theory
(available as arXiv preprint) | 2019-09-29 | Paper |
| scientific article; zbMATH DE number 6868325 (Why is no real title available?) | 2018-05-14 | Paper |
Proper forcing remastered
(available as arXiv preprint) | 2017-07-11 | Paper |
Preservation of Suslin trees and side conditions
Journal of Symbolic Logic | 2016-08-19 | Paper |
Reflexive-insensitive modal logics
The Review of Symbolic Logic | 2016-04-29 | Paper |
| Foundation of mathematics between theory and practice | 2015-06-25 | Paper |
Hilbert, completeness and geometry
RIFAJ. Rivista Italiana di Filosofia Analitica Junior | 2014-10-31 | Paper |
Interpretations of ZF
(available as arXiv preprint) | N/A | Paper |
