The following pages link to Giorgio Venturi (Q1982013):
Displaying 30 items.
- Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness (Q1982014) (← links)
- On negation for non-classical set theories (Q2037302) (← links)
- Non-classical models of \(\mathsf{ZF}\) (Q2046876) (← links)
- ZF between classicality and non-classicality (Q2115287) (← links)
- Ideal objects for set theory (Q2144207) (← links)
- Infinite forcing and the generic multiverse (Q2307303) (← links)
- Second order arithmetic as the model companion of set theory (Q2700811) (← links)
- REFLEXIVE-INSENSITIVE MODAL LOGICS (Q2804478) (← links)
- Hilbert, completeness and geometry (Q2926205) (← links)
- PRESERVATION OF SUSLIN TREES AND SIDE CONDITIONS (Q3188325) (← links)
- Forcing, Multiverse and Realism (Q3295824) (← links)
- A note on logics of essence and accident (Q3386900) (← links)
- (Q3390705) (← links)
- (Q4639912) (← links)
- A Non-Standard Kripke Semantics for the Minimal Deontic Logic (Q5013618) (← links)
- Tableaux for essence and contingency (Q5014059) (← links)
- (Q5039148) (← links)
- Logics of Ignorance and Being Wrong (Q5046722) (← links)
- A direct proof of the five element basis theorem (Q5108109) (← links)
- (Q5116448) (← links)
- On Forms of Justification in Set Theory (Q5149067) (← links)
- Naturalness in Mathematics (Q5213636) (← links)
- (Q5258387) (← links)
- Proper forcing remastered (Q5271405) (← links)
- Speech acts in mathematics (Q6088915) (← links)
- INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES (Q6148462) (← links)
- Many-valued logics and bivalent modalities (Q6485798) (← links)
- Interpretations of ZF (Q6519802) (← links)
- Modelling afthairetic modality (Q6606840) (← links)
- Formal ontology and mathematics. A case study on the identity of proofs (Q6652800) (← links)
