Pedro Sánchez Terraf

https://cs.famaf.unc.edu.ar/~pedro

2022

The Independence of the Continuum Hypothesis in Isabelle/ZF
by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg

06 Mar

Transitive Models of Fragments of ZFC
by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg

03 Mar

2020

Cofinality and the Delta System Lemma
by Pedro Sánchez Terraf

27 Dec

Formalization of Forcing in Isabelle/ZF
by Emmanuel Gunther, Miguel Pagano and Pedro Sánchez Terraf

06 May