Transitive Models of Fragments of ZFC

Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg. Transitive Models of Fragments of ZFC. Archive of Formal Proofs, 2022, 2022. [doi]

Abstract

Abstract is missing.