Representation of successor-type proof-theoretically regular ordinals via limits (Algebra, Languages and Computation)
Osamu Takaki · Kyoto University Research Information Repository (Kyoto University) · 2005
In this paper, we extend a result in [Ta04] , that is, we show that every successor-type proof-theoretically regular ordinal has its own representa- tion as a limit of a sequence consisting of certain canonical elements.