Generic sets and arbitrary objects Nous. To appear.
A topological semantics for reflexive insensitive modal logics (with Can Baskent and Dave Gilbert) Journal of Logic and Computation. To appear.
Ecumenical Propositional Tableaux (with Marcelo Coniglio Renato Reis Leme and Bruno Lopes) Studia Logica. 113, pp. 539-566, 2025.
A formal model for afthairetic modality (with Pedro Yago), Journal of Philosophical Logic, 53, pp. 1027-1065, 2024.
ZF and its intepretations. (with Santiago Jockwich and Sourav Tarafder), Annals of Pure and Applied Logic, 175(6), pp. 1-38, 2024.
How to make (mathematical) assertions with directives. (with Luca San Mauro and Laura Caponetto). Synthese, 202(127), pp. 1-16, 2024.
What model companionship can say about the Continuum Problem. (with Matteo Viale). Review of Symbolic Logic, 17(2), pp. 546-585, 2024.
Axioms and postulates as speech acts. (with Joao Vitor Schmidt). Erkenntnis, 89, pp. 3183-3202, 2024.
Formal ontology and mathematics. A case study on the identity of proofs (with Matteo Bianchetti). Topoi, 42, pp. 307-321, 2023.
Second order arithmetic as the model companion of set theory (with Matteo Viale). Archive for Mathematical Logic. 62, pp. 29-53, 2023.
Thin objects are not transparent. (with Matteo Plebani and Luca San Mauro). Theoria, 89(3), pp. 314–325, 2023.
Independence proofs in non-classical set theory (with Sourav Tarafder), Review of Symbolic Logic, 16(4), pp. 979-1010, 2023.
Fine's Postulationism, objectivity, and mathematical creation (with João Vitor Schmidt). Noesis, 39, pp. 123-138, 2022.
Many-valued logics and Suszkian modalities (with Edson Bezerra). Logic and Logical Philosophy, 31(4), pp. 611--636, 2022.
Ideal objects for set theory (with Santiago Jockwich and Sourav Tarafder), Journal of Philosophical Logic, 51, pp. 583--602, 2022.
ZF between classicality and non-classicality (with Sourav Tarafder), Studia Logica, 110, pp. 189-218, 2022.
Logic of ignorance and being wrong (with Dave Gilbert, Mattia Petrolo, and Ekaterina Kubitchkina), Logic Journal of the IGPL. 30(5), pp. 870--885, 2022.
What is it to believe in a mathematical assertion (with Luca San Mauro), Rivista Italiana di Filosofia del Linguaggio, 15(1), pp. 154-157, 2021. (OA)
Squeezing argument and the plurality of informal notions (with Edson Bezerra), Journal of Applied Logic, 8(7), pp. 1899-1916, 2021. (OA)
Reflexive-insensitive logics, the box-dot translation, and the modal logic of generic absoluteness (with David Gilbert), Notre Dame Journal of Formal Logic, 62(2), pp. 269-283, 2021.
Non-classical models of ZF (with Santiago Jockwich Martinez), Studia Logica, 109, pp. 509-537, 2021.
On negation for non classical set theories (with Santiago Jockwich Martinez), Journal of Philosophical Logic, 50, pp. 549-570, 2021.
A non-standard Kripke semantics for the minimal deontic logic (with Edson Bezerra), Logic and Logical Philosophy, 30, pp.125-135, 2021. (OA)
Speech acts in mathematics (with Marco Ruffino and Luca San Mauro), Synthese. Online first, 22 July 2020.
Tableaux for essence and contingency (with Pedro Yago), Logic Journal of the IGPL. Online first, 13 May 2020.
A note on logics of essence and accident (with David Gilbert), Logic Journal of the IGPL. 28(5), pp. 881-891, 2020.
On forms of justification in set theory (with Neil Barton and Claudio Ternullo). Australasian Journal of Logic. 17(4), pp. 158-200, 2020. (OA)
At Least One Black Sheep: Pragmatics and Mathematical Language. (with Marco Ruffino and Luca San Mauro, with a response by Aarne Ranta), Journal of Pragmatics, 160, pp. 114-119, 2020.
Rejoinder. (with Marco Ruffino and Luca San Mauro, in response to Aarne Ranta's comments on At Least One Black Sheep: Pragmatics and Mathematical Language), Journal of Pragmatics, 160, pp. 123, 2020.
Infinite forcing and the generic multiverse, Studia Logica, 108, pp. 277–290, 2020.
Genericity and arbitrariness, Logique & Analyse, 62(248), pp. 435-452, 2019.
New axioms in set theory (with Matteo Viale), Matematica, Cultura e Società - Rivista dell'Unione Matematica Italiana, 3(3), pp, 211--236, 2018.
A direct proof of the five element basis theorem (with Boban Veličković), Mathematical Logic Quarterly, 63(3-4), pp. 289–298, 2017.
A note on the introduction of Hilbert’s Grundlagen der Geometrie, Manuscrito, 40(2): 5–17, 2017. (OA)
A neighborhood semantics for the logics of unknown truths and of false beliefs (with David Gilbert), Australasian Journal of Logic, 14(1), pp. 246–267, 2017. (OA)
Reflexive insensitive modal logics, (with David Gilbert) Review of Symbolic Logic, 9(1), pp. 167–180, 2016.
Preservation of Suslin trees and side conditions, Journal of Symbolic Logic, 81(2), pp. 483–492, 2016.
Hilbert between the formal and the informal sides of mathematics, Manuscrito, 38(2), pp.5–45, 2015. (OA)
The foundation of set theory between theory and practice, Philosophia Scientiae, 18(1), pp. 45–80, 2014.
Hilbert, completeness and geometry, RIFAJ, 2(2), pp. 80–102, 2011. (Reprinted in: RIFAJ, 9(2), pp. 152–180, 2018.) (OA)