An ordinal analysis of $\Pi_{1}$-Collection
Abstract
In this paper we give an ordinal analysis of a set theory with $\Pi_{1}$-Collection.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2021
- DOI:
- 10.48550/arXiv.2112.09871
- arXiv:
- arXiv:2112.09871
- Bibcode:
- 2021arXiv211209871A
- Keywords:
-
- Mathematics - Logic;
- 03F99
- E-Print:
- The paper is contained and extended in the next one `An ordinal analysis of $\Pi_{N}$-collection'