On some formalized conservation results in arithmetic

DOI10.1007/BF01792983zbMATH Open0689.03027OpenAlexW2048858873MaRDI QIDQ1264147FDOQ1264147

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

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

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)

Cites Work

• Title not available (Why is that?)
• On the scheme of induction for bounded arithmetic formulas
• Title not available (Why is that?)
• Title not available (Why is that?)
• ∏ 0 1 Classes and Degrees of Theories
• Title not available (Why is that?)
• Combinatorial principles concerning approximations of functions
• Title not available (Why is that?)
• On recursion theory in IΣ₁
• Title not available (Why is that?)
• Uniformly defined descending sequences of degrees
• Title not available (Why is that?)
• On the local form of the second law of thermodynamics in continuum mechanics

Cited In (11)

• 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
• Envelopes, indicators and conservativeness
• The prime number theorem and fragments of PA
• 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
• A few questions concerning consistency and conservativeness

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)