This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories and ; the exact proof-theoretic ordinals of these systems are presented.
No takes yet. Share an insight, caveat, or question.
Jäger et al. (1999) studied this question.