The Independence of the Continuum Hypothesis in Isabelle/ZF
by Emmanuel Gunther 📧, Miguel Pagano 🌐, Pedro Sánchez Terraf 🌐 and Matías Steinberg 📧
by Emmanuel Gunther 📧, Miguel Pagano 🌐, Pedro Sánchez Terraf 🌐 and Matías Steinberg 📧
Matías Steinberg
E-Mails 📧
Entries
2022
by Emmanuel Gunther 📧, Miguel Pagano 🌐, Pedro Sánchez Terraf 🌐 and Matías Steinberg 📧
Transitive Models of Fragments of ZFC
by Emmanuel Gunther 📧, Miguel Pagano 🌐, Pedro Sánchez Terraf 🌐 and Matías Steinberg 📧