On some formalized conservation results in arithmetic

DOI10.1007/BF01792983MaRDI QIDQ1264147zbMATH OpenOpenAlexFDO

Authors Peter Clote, Petr Hájek, Jeff 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) Second- and higher-order arithmetic and fragments (03F35) Nonstandard models of arithmetic (03H15)

Recommendations

• On the scheme of induction for bounded arithmetic formulas
• Harrington's conservation theorem redone
• A new conservation result of \(\text{WKL}_0\) over \(\text{RCA}_0\)
• Formalizing forcing arguments in subsystems of second-order arithmetic
• scientific article; zbMATH DE number 440479

Cites work

• scientific article; zbMATH DE number 3904585 (Why is no real title available?)
• scientific article; zbMATH DE number 4002096 (Why is no real title available?)
• scientific article; zbMATH DE number 4066875 (Why is no real title available?)
• scientific article; zbMATH DE number 3689386 (Why is no real title available?)
• scientific article; zbMATH DE number 3784875 (Why is no real title available?)
• scientific article; zbMATH DE number 4114622 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• Combinatorial principles concerning approximations of functions
• On recursion theory in IΣ₁
• On the local form of the second law of thermodynamics in continuum mechanics
• On the scheme of induction for bounded arithmetic formulas
• Uniformly defined descending sequences of degrees
• ∏ 0 1 Classes and Degrees of Theories

Cited in

(11)

• A few questions concerning consistency and conservativeness
• On maximum conservative extensions
• Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• A new conservation result of \(\text{WKL}_0\) over \(\text{RCA}_0\)
• On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness
• The prime number theorem and fragments of PA
• Envelopes, indicators and conservativeness
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
• A Conservation Result Concerning Bounded Theories and the Collection Axiom

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1264147)