Giorgio Venturi
- Proper forcing remastered
2011/10/04 by Boban Veličković, Giorgio Venturi, Velickovic, Boban +1 · 2 citations
Computer Science · Mathematics · #03Exx #Advanced Algebra and Logic #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)
- The Internal Modal Logic of Forcing
2026/07/28 by Santiago Jockwich, Sourav Tarafder, Giorgio Venturi
Mathematics · #math.LO