Giorgio Venturi

From MaRDI portal
Person:1982013

Available identifiers

zbMath Open venturi.giorgioWikidataQ102418104 ScholiaQ102418104MaRDI QIDQ1982013

List of research outcomes





PublicationDate of PublicationType
Formal ontology and mathematics. A case study on the identity of proofs2024-12-13Paper
Modelling afthairetic modality2024-09-17Paper
https://portal.mardi4nfdi.de/entity/Q61193712024-03-01Paper
INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES2024-01-11Paper
Speech acts in mathematics2023-12-14Paper
Second order arithmetic as the model companion of set theory2023-04-27Paper
Many-valued logics and bivalent modalities2022-12-20Paper
Logics of Ignorance and Being Wrong2022-11-09Paper
https://portal.mardi4nfdi.de/entity/Q50391482022-10-12Paper
Ideal objects for set theory2022-06-01Paper
What model companionship can say about the Continuum problem2022-04-28Paper
https://portal.mardi4nfdi.de/entity/Q33907052022-03-25Paper
ZF between classicality and non-classicality2022-03-15Paper
Tableaux for essence and contingency2021-12-03Paper
A Non-Standard Kripke Semantics for the Minimal Deontic Logic2021-12-02Paper
Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness2021-09-07Paper
Non-classical models of \(\mathsf{ZF}\)2021-08-19Paper
On negation for non-classical set theories2021-06-30Paper
On Forms of Justification in Set Theory2021-02-06Paper
A note on logics of essence and accident2021-01-08Paper
https://portal.mardi4nfdi.de/entity/Q51164482020-08-25Paper
Forcing, Multiverse and Realism2020-07-13Paper
A direct proof of the five element basis theorem2020-04-29Paper
Infinite forcing and the generic multiverse2020-03-27Paper
Naturalness in Mathematics2020-02-04Paper
The model companions of set theory2019-09-29Paper
https://portal.mardi4nfdi.de/entity/Q46399122018-05-14Paper
Proper forcing remastered2017-07-11Paper
PRESERVATION OF SUSLIN TREES AND SIDE CONDITIONS2016-08-19Paper
Reflexive-insensitive modal logics2016-04-29Paper
https://portal.mardi4nfdi.de/entity/Q52583872015-06-25Paper
Hilbert, completeness and geometry2014-10-31Paper
Interpretations of ZFN/APaper

Research outcomes over time

This page was built for person: Giorgio Venturi