Harrington's conservation theorem redone

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

zbMATH Keywords

cut-eliminationsecond-order arithmeticbounded formulasystem \(\text{WKL}_0\), \(\text{RCA}_0\) \(\Pi^1_1\)-conservativityWeak König's Lemma

Mathematics Subject Classification ID

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