Showing math.LOShow all
2 papers · 1 filter
math.LO2025
An ordinal analysis of -Collection
Toshiyasu Arai
In this paper we give an ordinal analysis of a set theory with -Collection.
math.LO2024
An ordinal analysis of a single stable ordinal
Toshiyasu Arai
In this paper we give an ordinal analysis of a set theory extending with an axiom stating that `there exists a transitive set such that '.