Journal ArticleOPEN ACCESS

The proof-theoretic analysis of transfinitely iterated fixed point theories

  • JÄger G
  • Kahle R
  • Setzer A
  • et al.
Journal of Symbolic Logic (1999) 64(1) 53-67
DOI: 10.2307/2586750
38Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.

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.

Cite

CITATION STYLE

APA

JÄger, G., Kahle, R., Setzer, A., & Strahm, T. (1999). The proof-theoretic analysis of transfinitely iterated fixed point theories. Journal of Symbolic Logic, 64(1), 53–67. https://doi.org/10.2307/2586750

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free