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