Pedro Sánchez Terraf

Homepages 🌐

• https://cs.famaf.unc.edu.ar/~pedro/home_en.html

Entries

2022

The Independence of the Continuum Hypothesis in Isabelle/ZF

by Emmanuel Gunther 📧, Miguel Pagano 🌐, Pedro Sánchez Terraf 🌐 and Matías Steinberg 📧

Mar 06

Transitive Models of Fragments of ZFC

by Emmanuel Gunther 📧, Miguel Pagano 🌐, Pedro Sánchez Terraf 🌐 and Matías Steinberg 📧

Mar 03

2020

Cofinality and the Delta System Lemma

by Pedro Sánchez Terraf 🌐

Dec 27

Formalization of Forcing in Isabelle/ZF

by Emmanuel Gunther 📧, Miguel Pagano 🌐 and Pedro Sánchez Terraf 🌐

May 06