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