Interpretability of various extensions of arithmetic
The paper proves some nice theorems about interpretability of extensions of arithmetic PA. The main result: let \(PA_ 0=PA\) and \(PA_{n+1}=PA_ n+Consis PA_ n\), then PA \(+\) arbitrary m examples of the local reflection principle \(\Pr_{PA}(\ulcorner \Phi \urcorner)\to \Phi\) is interpretable in the theory \(PA_ n\) iff \(m\leq n\). It follows immediately that theories \(PA'=PA\) \(+\) local reflection principle and \(PA_{\omega}=\cup_{n\in \omega}PA_ n\) are relatively interpretable. The result seems interesting because \(PA_{\omega}\subset PA'\) and \(PA_{\omega}\) is in the following sense much weaker than PA': \(PA_{\omega}\) is contained in some finite extension of PA and PA' is not.
- Arithmetization of metamathematics in a general setting
- scientific article; zbMATH DE number 3786776 (Why is no real title available?)
- scientific article; zbMATH DE number 3485746 (Why is no real title available?)
- One hundred and two problems in mathematical logic
- Provability interpretations of modal logic
- Interpretations of Presburger arithmetic in itself
- Interpretability of the Cantor varieties
- On interpretations of arithmetic and set theory
- Interpretations between -logic and second-order arithmetic
- scientific article; zbMATH DE number 440479 (Why is no real title available?)
- Arithmetic Interpretability Types of Varieties and Some Additive Problems with Primes
- scientific article; zbMATH DE number 3957096 (Why is no real title available?)
- scientific article; zbMATH DE number 3957097 (Why is no real title available?)
- scientific article; zbMATH DE number 3972855 (Why is no real title available?)
- Proof theoretic analysis by iterated reflection
- Characterizations of interpretability in bounded arithmetic
- AXIOMATIZATION OF PROVABLE n-PROVABILITY
- Variations on a Visserian theme
- Peano Corto and Peano Basso: a study of local induction in the context of weak theories
- The unprovability of small inconsistency. A study of local and global interpretability
- On the conservation results for local reflection principles
- On certain lattices of degrees of interpretability
This page was built for publication: Interpretability of various extensions of arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1095138)
