Publication:3705449
From MaRDI portal
zbMath0582.03043MaRDI QIDQ3705449
Publication date: 1985
03F15: Recursive ordinals and ordinal notations
Related Items
The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule, Universes over Frege structures, Levels of truth, A note on the theory of positive induction, \({{\text{ID}}^*_1}\), An ordinal analysis for theories of self-referential truth, A note on the theory SID<ω of stratified induction