Fixed points in Peano arithmetic with ordinals

DOI10.1016/0168-0072(93)90039-GzbMath0776.03027MaRDI QIDQ1210139

Gerhard Jäger

Publication date: 16 May 1993

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

Peano arithmeticfinite iterationconservativity over PAfixed point theory of finitely iterated approximations

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (14)

Inaccessible set axioms may have little consistency strength ⋮ Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ Totality in applicative theories ⋮ Second order theories with ordinals and elementary comprehension ⋮ The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories ⋮ Some theories with positive induction of ordinal strength φω0 ⋮ A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP ⋮ On Feferman's operational set theory \textsf{OST} ⋮ Full operational set theory with unbounded existential quantification and power set ⋮ The unfolding of non-finitist arithmetic ⋮ The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule ⋮ Systems of explicit mathematics with non-constructive \(\mu\)-operator and join ⋮ Systems of explicit mathematics with non-constructive \(\mu\)-operator. I ⋮ Universes over Frege structures

Cites Work

• Proof theory. 2nd ed
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Elementary induction on abstract structures
• Proof theory and ordinal analysis
• Beweistheorie vonKPN
• Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
• LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Fixed points in Peano arithmetic with ordinals