## E-Mails 📧

- ra.ude.cnu.famaf @rehtnug

## 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

##### Formalization of Forcing in Isabelle/ZF

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