An intensional fixed point theory over first order arithmetic
From MaRDI portal
Publication:1877095
DOI10.1016/j.apal.2003.11.032zbMath1048.03047OpenAlexW2027106493MaRDI QIDQ1877095
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
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 ATR0 and
- Rudiments of \(\mu\)-calculus