# Logic/Set theory

## Subject Classification

AMS: Mathematical logic and foundations / Set theory

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