The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories
Jager, Gerhard ; Kahle, Reinhard ; Setzer, Anton ; Strahm, Thomas
J. Symbolic Logic, Tome 64 (1999) no. 1, p. 53-67 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
This article provides the proof-theoretic analysis of the transfinitely iterated fixed point theories $\widehat{ID}_\alpha and \widehat{ID}_{<\alpha};$ the exact proof-theoretic ordinals of these systems are presented.
Publié le : 1999-03-14
Classification:  
@article{1183745691,
     author = {Jager, Gerhard and Kahle, Reinhard and Setzer, Anton and Strahm, Thomas},
     title = {The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories},
     journal = {J. Symbolic Logic},
     volume = {64},
     number = {1},
     year = {1999},
     pages = { 53-67},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745691}
}

Jager, Gerhard; Kahle, Reinhard; Setzer, Anton; Strahm, Thomas. The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. J. Symbolic Logic, Tome 64 (1999) no. 1, pp.  53-67. http://gdmltest.u-ga.fr/item/1183745691/