TL;DR
This paper develops the fundamentals of Intuitionistic Kripke-Platek set theory and demonstrates independence results among related theories using Kripke models.
Contribution
It introduces foundational aspects of IKP and explores independence results with Kripke models, advancing understanding of intuitionistic set theories.
Findings
Established basic principles of IKP
Proved independence results among related theories
Used Kripke models to demonstrate theoretical distinctions
Abstract
The basics of Intuitionistic Kripke-Platek set theory are developed, and some independence results among related classically equivalent theories are shown using Kripke models.
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 Algebra and Logic · Multi-Criteria Decision Making · Logic, Reasoning, and Knowledge