Interpretations of Presburger arithmetic in itself
From MaRDI portal
Abstract: Presburger arithmetic PrA is the true theory of natural numbers with addition. We study interpretations of PrA in itself. We prove that all one-dimensional self-interpretations are definably isomorphic to the identity self-interpretation. In order to prove the results we show that all linear orders that are interpretable in (N,+) are scattered orders with the finite Hausdorff rank and that the ranks are bounded in terms of the dimension of the respective interpretations. From our result about self-interpretations of PrA it follows that PrA isn't one-dimensionally interpretable in any of its finite subtheories. We note that the latter was conjectured by A. Visser.
Recommendations
- Multi-dimensional Interpretations of Presburger Arithmetic in Itself
- On interpretations of Presburger arithmetic in Büchi arithmetics
- Interpretability of various extensions of arithmetic
- Interpretability over peano arithmetic
- scientific article; zbMATH DE number 3957097
- The interpretability logic of Peano arithmetic
- scientific article; zbMATH DE number 3900723
- Interpretability suprema in Peano arithmetic
- scientific article; zbMATH DE number 1303441
- scientific article; zbMATH DE number 47249
Cited in
(5)- scientific article; zbMATH DE number 3900723 (Why is no real title available?)
- A wild model of linear arithmetic and discretely ordered modules
- Multi-dimensional Interpretations of Presburger Arithmetic in Itself
- On interpretations of Presburger arithmetic in Büchi arithmetics
- Undefinability of multiplication in Presburger arithmetic with sets of powers
This page was built for publication: Interpretations of Presburger arithmetic in itself
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1709716)
