Adding an abstraction barrier to ZF set theory

DOI10.1007/978-3-030-53518-6_6zbMath1455.68256arXiv2005.13954OpenAlexW3042721577MaRDI QIDQ2219382

Ciarán Dunne, Fairouz Kamareddine, J. B. Wells

Publication date: 20 January 2021

Full work available at URL: https://arxiv.org/abs/2005.13954

zbMATH Keywords

theorem provingset theoryformalisation of mathematics

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (2)

Generating custom set theories with non-set structured objects ⋮ Isabelle/HOL/GST: a formal proof environment for generalized set theories

This page was built for publication: Adding an abstraction barrier to ZF set theory