An intensional fixed point theory over first order arithmetic

DOI10.1016/j.apal.2003.11.032zbMath1048.03047OpenAlexW2027106493MaRDI QIDQ1877095

Gerhard Jäger

Publication date: 16 August 2004

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

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.032

zbMATH Keywords

Fixed pointsArithmeticProof-theoretical strength

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)

Related Items

A fixed point theory over stratified truth, Extending constructive operational set theory by impredicative principles

Cites Work

• Unnamed Item
• Unnamed Item
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Logical frameworks for truth and abstraction. An axiomatic study
• The proof-theoretic analysis of transfinitely iterated fixed point theories
• μ-definable sets of integers
• On the relationship between ATR₀ and
• Rudiments of \(\mu\)-calculus