Giorgio Venturi

Available identifiers

zbMath Open venturi.giorgioWikidataQ102418104 ScholiaQ102418104MaRDI QIDQ1982013

List of research outcomes

Publication	Date of Publication	Type
Formal ontology and mathematics. A case study on the identity of proofs	2024-12-13	Paper
Modelling afthairetic modality	2024-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q6119371	2024-03-01	Paper
INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES	2024-01-11	Paper
Speech acts in mathematics	2023-12-14	Paper
Second order arithmetic as the model companion of set theory	2023-04-27	Paper
Many-valued logics and bivalent modalities	2022-12-20	Paper
Logics of Ignorance and Being Wrong	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5039148	2022-10-12	Paper
Ideal objects for set theory	2022-06-01	Paper
What model companionship can say about the Continuum problem	2022-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3390705	2022-03-25	Paper
ZF between classicality and non-classicality	2022-03-15	Paper
Tableaux for essence and contingency	2021-12-03	Paper
A Non-Standard Kripke Semantics for the Minimal Deontic Logic	2021-12-02	Paper
Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness	2021-09-07	Paper
Non-classical models of \(\mathsf{ZF}\)	2021-08-19	Paper
On negation for non-classical set theories	2021-06-30	Paper
On Forms of Justification in Set Theory	2021-02-06	Paper
A note on logics of essence and accident	2021-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q5116448	2020-08-25	Paper
Forcing, Multiverse and Realism	2020-07-13	Paper
A direct proof of the five element basis theorem	2020-04-29	Paper
Infinite forcing and the generic multiverse	2020-03-27	Paper
Naturalness in Mathematics	2020-02-04	Paper
The model companions of set theory	2019-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q4639912	2018-05-14	Paper
Proper forcing remastered	2017-07-11	Paper
PRESERVATION OF SUSLIN TREES AND SIDE CONDITIONS	2016-08-19	Paper
Reflexive-insensitive modal logics	2016-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q5258387	2015-06-25	Paper
Hilbert, completeness and geometry	2014-10-31	Paper
Interpretations of ZF	N/A	Paper

Research outcomes over time

This page was built for person: Giorgio Venturi