On forms of justification in set theory N Barton, C Ternullo, G Venturi The Australasian Journal of Logic 17 (4), 158-200, 2020 | 24 | 2020 |
Reflexive-insensitive modal logics DR Gilbert, G Venturi The Review of Symbolic Logic 9 (1), 167-180, 2016 | 24 | 2016 |
Proper forcing remastered B Veličković, G Venturi, S Cummings Appalachian set theory 406, 331-362, 2012 | 21 | 2012 |
A neighborhood semantics for the logics of unknown truths and of false beliefs G Venturi, D Gilbert The Australasian Journal of Logic 14 (1), 246-267, 2017 | 19 | 2017 |
Speech acts in mathematics M Ruffino, L San Mauro, G Venturi Synthese 198 (10), 10063-10087, 2021 | 15 | 2021 |
Non-classical models of ZF S Jockwich Martinez, G Venturi Studia Logica 109 (3), 509-537, 2021 | 14 | 2021 |
Forcing, multiverse and realism G Venturi Objectivity, Realism, and Proof: FilMat Studies in the Philosophy of …, 2016 | 11 | 2016 |
Independence proofs in non-classical set theories S Tarafder, G Venturi The Review of Symbolic Logic 16 (4), 979-1010, 2023 | 10 | 2023 |
A note on logics of essence and accident DR Gilbert, G Venturi Logic Journal of the IGPL 28 (5), 881-891, 2020 | 9 | 2020 |
Naturalness in Mathematics G Venturi, L San Mauro From Logic to Practice Italian Studies in the Philosophy of Mathematics, 277-313, 2015 | 9* | 2015 |
Genericity and arbitrariness G Venturi Logique et Analyse 248, 435-452, 2019 | 8 | 2019 |
Hilbert, completeness and geometry G Venturi Rivista Italiana di Filosofia Analitica Junior 9 (2), 152-180, 2018 | 8 | 2018 |
At least one black sheep: Pragmatics and mathematical language M Ruffino, L San Mauro, G Venturi Journal of Pragmatics 160, 114-119, 2020 | 7 | 2020 |
Infinite forcing and the generic multiverse G Venturi Studia Logica 108 (2), 277-290, 2020 | 7 | 2020 |
The model companions of set theory G Venturi, M Viale arXiv preprint arXiv:1909.13372, 2019 | 7 | 2019 |
New axioms in set theory G Venturi, M Viale MATEMATICA, CULTURA E SOCIETÀ 3 (3), 211-236, 2018 | 7 | 2018 |
Second order arithmetic as the model companion of set theory G Venturi, M Viale Archive for Mathematical Logic 62 (1), 29-53, 2023 | 6 | 2023 |
Logics of ignorance and being wrong D Gilbert, E Kubyshkina, M Petrolo, G Venturi Logic Journal of the IGPL 30 (5), 870-885, 2022 | 6 | 2022 |
On negation for non-classical set theories S Jockwich Martinez, G Venturi Journal of Philosophical Logic 50, 549-570, 2021 | 6 | 2021 |
Axioms and postulates as speech acts JV Schmidt, G Venturi Erkenntnis, 1-20, 2023 | 5 | 2023 |