Miguel Pagano

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

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

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

06 May