arXiv:2311.12459 [math.LO]AbstractReferencesReviewsResources
An ordinal analysis of $Π_{N}$-Collection
Published 2023-11-21Version 1
In this paper we give an ordinal analysis of a set theory with $\Pi_{N}$-Collection.
Related articles: Most relevant | Search more
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$