Cofinality and the Delta System Lemma

MaRDI QIDQ7361960FDO

Authors Pedro Sánchez Terraf

Publication date 27 December 2020

Cites work

• Formalization of Forcing in Isabelle/ZF
• Unnamed Publication
• Mechanizing set theory. Cardinal arithmetic and the axiom of choice
• Set theory.

Cited in

(1)

• Transitive Models of Fragments of ZFC

This page was built for software: Cofinality and the Delta System Lemma