arXiv Analytics

Sign in

arXiv:2311.12459 [math.LO]AbstractReferencesReviewsResources

An ordinal analysis of $Π_{N}$-Collection

Toshiyasu Arai

Published 2023-11-21Version 1

In this paper we give an ordinal analysis of a set theory with $\Pi_{N}$-Collection.

Categories: math.LO
Subjects: 03F99
Related articles: Most relevant | Search more
arXiv:2112.09871 [math.LO] (Published 2021-12-18, updated 2022-08-29)
An ordinal analysis of $Π_{1}$-Collection
arXiv:1508.01547 [math.LO] (Published 2015-08-06)
$omega_{1}$ under $Pi_{1}$-Collection
arXiv:2406.17315 [math.LO] (Published 2024-06-25)
Games with backtracking options corresponding to the ordinal analysis of $PA$