The Independence of the Continuum Hypothesis in Isabelle/ZF
by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg
Logic/Set Theory
2022
Transitive Models of Fragments of ZFC
by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg
Wetzel's Problem and the Continuum Hypothesis
by Lawrence C. Paulson
2021
Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories
by Mihails Milehins
2020
Cofinality and the Delta System Lemma
by Pedro Sánchez Terraf
Formalization of Forcing in Isabelle/ZF
by Emmanuel Gunther, Miguel Pagano and Pedro Sánchez Terraf
2019
Zermelo Fraenkel Set Theory in Higher-Order Logic
by Lawrence C. Paulson