Publication:6178470
From MaRDI portal
Publication:6178470
{{DISPLAYTITLE:Revisiting the conservativity of fixpoints over intuitionistic arithmetic
DOI10.1007/s00153-023-00878-2arXiv2110.08240OpenAlexW3206789550MaRDI QIDQ6178470
Mattias Granberg Olsson, Graham E. Leigh
Publication date: 18 January 2024
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2110.08240
First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quick cut-elimination for strictly positive cuts
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Constructivism in mathematics. An introduction. Volume II
- Some results on cut-elimination, provable well-orderings, induction and reflection
- An intuitionistic fixed point theory
- Arithmetical conservation results
- Implicational complexity in intuitionistic arithmetic
- Reflecting on incompleteness
- Fragments of Heyting arithmetic
- Intuitionistic Fixed Point Theories for Strictly Positive Operators