The proof-theoretic analysis of transfinitely iterated fixed point theories

Authors
Jager, G Kahle, R Setzer, A Strahm, T
Citation
G. Jager et al., The proof-theoretic analysis of transfinitely iterated fixed point theories, J SYMB LOG, 64(1), 1999, pp. 53-67
Citations number
16
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
64
Issue
1
Year of publication
1999
Pages
53 - 67
Database
ISI
SICI code
0022-4812(199903)64:1<53:TPAOTI>2.0.ZU;2-V
Abstract
This article provides the proof-theoretic analysis of the transfinitely ite rated fixed point theories <(ID)over cap>(alpha) and <(ID)over cap>(<alpha) ; the exact proof-theoretic ordinals of these systems are presented.