Giorgio Venturi

Teaching activity

Teaching responsibility for modules/courses

Teaching register

Lesson timetable

Student consultation hours

Time: Su appuntamento

Publications

• ZF and its interpretations (Jockwich Martinez, S.; Tarafder, S.; Venturi, G. - 2024 - 1.1 Articolo in rivista)
• Modelling Afthairetic Modality (Venturi, Giorgio; Yago, Pedro - 2024 - 1.1 Articolo in rivista)
• How to make [mathematical] assertions with directives (Caponetto, L.; San Mauro, L.; Venturi, G. - 2023 - 1.1 Articolo in rivista)
• Axioms and Postulates as Speech Acts (Schmidt, Jv; Venturi, G - 2023 - 1.1 Articolo in rivista)
• What model companionship can say about the continuum problem (Venturi, Giorgio; Viale, Matteo - 2023 - 1.1 Articolo in rivista)
• Formal Ontology and Mathematics. A Case Study on the Identity of Proofs (Bianchetti, M.; Venturi, G. - 2023 - 1.1 Articolo in rivista)
• Second order arithmetic as the model companion of set theory (Venturi, G; Viale, M - 2023 - 1.1 Articolo in rivista)
• Ideal objects for set theory (Jockwich, S; Tarafder, S; Venturi, G - 2022 - 1.1 Articolo in rivista)
• Fine's Postulationism, objectivity, and mathematical creation (Schmidt, J; Venturi, G - 2022 - 1.1 Articolo in rivista)
• ZF between classicality and non-classicality (Tarafder, S; Venturi, G - 2022 - 1.1 Articolo in rivista)
• Many-valued logics and Suszkian modalities (Bezerra, E; Venturi, G - 2022 - 1.1 Articolo in rivista)
• On Negation for Non-classical Set Theories (Santiago, Jockwich; Venturi, G - 2021 - 1.1 Articolo in rivista)
• What is it to believe in a mathematical assertion? (San Mauro, L; Venturi, G - 2021 - 1.1 Articolo in rivista)
• Logics of ignorance and being wrong (Gilbert, D; Petrolo, M; Kubitchkina, E; Venturi, G - 2021 - 1.1 Articolo in rivista)
• Non-classical models of ZF (Jockwich, S; Venturi, G - 2021 - 1.1 Articolo in rivista)

All publications by Giorgio Venturi on ARPI, the Research Archive of the University of Pisa