An ordinal analysis of $\Pi_{1}$-Collection
Toshiyasu Arai
TL;DR
This paper provides an ordinal analysis of a set theory that includes the $\
Contribution
It introduces a novel ordinal analysis specifically for set theory with $\
Findings
Establishes the proof-theoretic strength of the set theory with $\
Provides a new framework for understanding $\
Clarifies the logical complexity of $\
Abstract
In this paper we give an ordinal analysis of a set theory with -Collection.
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 · Mathematical and Theoretical Analysis · Computability, Logic, AI Algorithms