论文信息 - Fixed Points in Peano Arithmetic with Ordinals

Fixed Points in Peano Arithmetic with Ordinals

Abstract Jager, G., Fixed points in Peano arithmetic with ordinals, Annals of Pure and Applied Logic 60 (1993) 119-132. This paper deals with some proof-theoretic aspects of fixed point theories over Peano arithmetic with ordinals. It studies three such theories which differ in the principles which are available for induction on the natural numbers and ordinals. The main result states that there is a natural theory in this framework which is a conservative extension of Peano arithmetic.

Gerhard Jäger

[1] Wolfram Pohlers. Proof Theory: An Introduction , 1990 .

[2] Solomon Feferman,et al. Iterated Inductive Fixed-Point Theories: Application to Hancock's Conjecture , 1982 .

[3] Solomon Feferman,et al. Generalizing Set-Theoretical Model Theory and an Analogue Theory on Admissible Sets , 1979 .

[4] Gerhard Jäger,et al. Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen , 1980, Arch. Math. Log..

[5] Gerhard Jäger. Beweistheorie von KPN . , 1980 .

[6] W. Buchholz. Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies , 1981 .

[7] W. Pohlers,et al. Admissibility in Proof Theory; A Survey , 1982 .

[8] Andrea Cantini,et al. Levels of Implication and Type Free Theories of Classifications with Approximation Operator , 1992, Math. Log. Q..

[9] Gerhard Max Jäger,et al. Theories for admissible sets : a unifying approach to proof theory , 1986 .

[10] S. Feferman. Formal Theories for Transfinite Iterations of Generalized Inductive Definitions and Some Subsystems of Analysis , 1970 .

[11] Gerhard Jäger,et al. Iterating Admissibility in Proof Theory , 1982 .

[12] Wolfram Pohlers,et al. Proof theory and ordinal analysis , 1991, Arch. Math. Log..