Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022
Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories
Ciarán Dunne, J. B. Wells
A generalized set theory (GST) is like a standard set theory but also can have non-set structured objects that can contain other structured objects including sets. This paper prese…
cs.LO2020
Adding an Abstraction Barrier to ZF Set Theory
Ciarán Dunne, J. B. Wells, Fairouz Kamareddine
Much mathematical writing exists that is, explicitly or implicitly, based on set theory, often Zermelo-Fraenkel set theory (ZF) or one of its variants. In ZF, the domain of discour…