On some formalized conservation results in arithmetic

DOI10.1007/BF01792983zbMath0689.03027OpenAlexW2048858873MaRDI QIDQ1264147

Peter Clote, Petr Hájek, Jeffrey Bruce Paris

Publication date: 1990

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01792983

zbMATH Keywords

proof theoryconservative extensionconservation resultsformalized model theoryfragment of second-order arithmeticfragments of first-order arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Second- and higher-order arithmetic and fragments (03F35)

Related Items (4)

The prime number theorem and fragments of PA ⋮ Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization ⋮ On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness

Cites Work

• On the scheme of induction for bounded arithmetic formulas
• On recursion theory in IΣ₁
• Combinatorial principles concerning approximations of functions
• On the local form of the second law of thermodynamics in continuum mechanics
• Uniformly defined descending sequences of degrees
• ∏ 0 1 Classes and Degrees of Theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On some formalized conservation results in arithmetic