An intensional fixed point theory over first order arithmetic

Annals of Pure and Applied Logic 128 (1-3):197-213 (2004)

The purpose of this article is to present a new theory for fixed points over arithmetic which allows the building up of fixed points in a very nested and entangled way. But in spite of its great expressive power we can show that the proof-theoretic strength of our theory—which is intensional in a meaning to be described below—is characterized by the Feferman–Schütte ordinal Γ0. Our approach is similar to the building up of fixed points over state spaces in the propositional modal μ-calculus
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2003.11.032
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,386
Through your library

References found in this work BETA

On the Relationship Between ATR 0 And.Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (3):768-779.
On the Relationships Between ATR0 and $\Widehat{ID}_{.Jeremy Avigad - 1996 - Journal of Symbolic Logic 61 (3):768 - 779.
Μ-Definable Sets of Integers.Robert S. Lubarsky - 1993 - Journal of Symbolic Logic 58 (1):291-313.

View all 6 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Fixed Point Theory in Weak Second-Order Arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.
Fixed Point Logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Explicit Mathematics with the Monotone Fixed Point Principle.Michael Rathjen - 1998 - Journal of Symbolic Logic 63 (2):509-542.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Yet Another Hierarchy Theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
Comparing Fixed-Point and Revision Theories of Truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
A Fixed Point for the Jump Operator on Structures.Antonio Montalbán - 2013 - Journal of Symbolic Logic 78 (2):425-438.


Added to PP index

Total views
3 ( #1,187,343 of 2,271,948 )

Recent downloads (6 months)
1 ( #822,813 of 2,271,948 )

How can I increase my downloads?


My notes

Sign in to use this feature