Prefer a chat interface with context about you and your work?
Antifoundation and Transitive Closure in the System of Zermelo
The role of foundation with respect to transitive closure in the Zermelo system Z has been investigated by Boffa; our aim is to explore the role of antifoundation. We start by showing the consistency of "Z $+$ antifoundation $+$ transitive closure" relative to Z (by a technique well known for …