Logic/Set theory
Subject Classification
AMS: Mathematical logic and foundations / Set theory
2026
HOL in HOL over a set-theoretic universe: consistency of NK with infinity and choice
by Christoph Benzmüller and Daniel Kirchner
Countable Infinite Version of Dilworth's Theorem
by Fabián Fernando Serran Suárez, Thaynara Arielly de Lima and Mauricio Ayala-Rincón
The Mostowski Collapse Theorem
by Arthur Freitas Ramos, David Barros Hulak and Ruy Jose Guerra Barretto de Queiroz
2025
2024
2023
2022
The Independence of the Continuum Hypothesis in Isabelle/ZF
by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg
Transitive Models of Fragments of ZFC
by Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf and Matías Steinberg
2021
Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories
by Mihails Milehins