Corrigendum & Addendum to: Variations on a Visserian theme
Ali Enayat
TL;DR
This paper revisits the proof of the solidity of Kelley-Morse set theory, clarifying the role of class collection schemes in the original proof to enhance understanding of its foundational aspects.
Contribution
It provides a detailed analysis and clarification of the proof of solidity for KM set theory, emphasizing the importance of class collection schemes.
Findings
Clarifies the role of class collection in the proof
Strengthens the foundational understanding of KM theory
Provides corrections or addenda to previous proof
Abstract
We revisit the proof of solidity of KM (Kelley-Morse theory of classes), as presented in the 2016 paper "Variations on a Visserian theme", so as to indicate the role of the scheme of class collection in the proof.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Rings, Modules, and Algebras · Computability, Logic, AI Algorithms