arXiv:2112.09871 [math.LO]AbstractReferencesReviewsResources
An ordinal analysis of $Π_{1}$-Collection
Published 2021-12-18, updated 2022-08-29Version 3
In this paper we give an ordinal analysis of a set theory with $\Pi_{1}$-Collection.
Related articles: Most relevant | Search more
arXiv:2311.12459 [math.LO] (Published 2023-11-21)
An ordinal analysis of $Π_{N}$-Collection
arXiv:1508.01547 [math.LO] (Published 2015-08-06)
$omega_{1}$ under $Pi_{1}$-Collection
arXiv:2501.12631 [math.LO] (Published 2025-01-22)
An ordinal analysis of CM and its extensions