Transitive Models of Fragments of ZFC

MaRDI QIDQ7361351FDO

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

Publication date 3 March 2022

Cites work

• First steps towards a formalization of forcing
• Formalization of Forcing in Isabelle/ZF
• Unnamed Publication
• Mechanizing set theory. Cardinal arithmetic and the axiom of choice
• The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf

Cited in

(1)

• The Independence of the Continuum Hypothesis in Isabelle/ZF

This page was built for software: Transitive Models of Fragments of ZFC