Harrington's conservation theorem redone
From MaRDI portal
Publication:948908
DOI10.1007/S00153-008-0080-8zbMath1160.03039OpenAlexW1985240925MaRDI QIDQ948908
Gilda Ferreira, Fernando Ferreira
Publication date: 16 October 2008
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-008-0080-8
cut-eliminationsecond-order arithmeticbounded formulasystem \(\text{WKL}_0\), \(\text{RCA}_0\) \(\Pi^1_1\)-conservativityWeak König's Lemma
Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Second- and higher-order arithmetic and fragments (03F35)
Related Items (2)
A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω ⋮ The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A simple proof of Parsons' theorem
- Fragments of arithmetic
- Remarks on Herbrand normal forms and Herbrand realizations
- Bounded functional interpretation
- Formalizing forcing arguments in subsystems of second-order arithmetic
- Herbrand analyses
- Strict \({\varPi^1_1}\)-reflection in bounded arithmetic
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
- A feasible theory for analysis
This page was built for publication: Harrington's conservation theorem redone