The proof-theoretic analysis of transfinitely iterated fixed point theories
Work
Year: 1999
Type: article
Abstract: 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.
Source: Journal of Symbolic Logic
Institutions University of Bern, Uppsala University
Cites: 12
Cited by: 43
Related to: 10
FWCI: 3.626
Citation percentile (by year/subfield): 93.56
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green