##### The Independence of the Continuum Hypothesis in Isabelle/ZF

by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg

AMS: Mathematical logic and foundations / Set theory

by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg

by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg

by Mihails Milehins