Analogues of Shepherdson's Theorem for a language with exponentiation
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866918530449932288 |
|---|---|
| author | Kovalyov, Konstantin |
| author_facet | Kovalyov, Konstantin |
| contents | In 1964 Shepherdson \cite{shepherdson:1964} proved that a discretely ordered semiring $\mathcal{M}^+$ satisfies $\sf{IOpen}$ (quantifier free induction) iff the corresponding ring $\mathcal{M}$ is an integer part of the real closure of the quotient field of $\mathcal{M}$. In this paper, we consider open induction schema in the language of arithmetic expanded by exponentiation or by the power function and try to find similar criteria for models of these theories.
For several expansions $T$ of the theory of real closed fields we obtain analogues of Shepherdson's Theorem in the following sense: If an exponential field $\mathcal R$ is a model of $T$ and a discretely ordered ring $\mathcal M$ is an (exponential) integer part of $\mathcal R$, then $\mathcal M^+$ is a model of the open induction in the expanded language. The proof of the opposite implication, in general, remains an open question. However, we isolate a natural sufficient condition, related to the well-known Bernoulli inequality, under which this result holds. We define a finite extension $T$ of the usual open induction so that, for any discretely ordered ring $\mathcal M$, the semiring $\mathcal M^+$ satisfies $T$ iff there is an exponential real closed field $\mathcal R$ with the inequality $\exp(x) \geqslant 1 + x$ such that $\mathcal M$ is an exponential integer part of $\mathcal R$. Using these results, we obtain some concrete independence results for these theories. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2306_02012 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Analogues of Shepherdson's Theorem for a language with exponentiation Kovalyov, Konstantin Logic In 1964 Shepherdson \cite{shepherdson:1964} proved that a discretely ordered semiring $\mathcal{M}^+$ satisfies $\sf{IOpen}$ (quantifier free induction) iff the corresponding ring $\mathcal{M}$ is an integer part of the real closure of the quotient field of $\mathcal{M}$. In this paper, we consider open induction schema in the language of arithmetic expanded by exponentiation or by the power function and try to find similar criteria for models of these theories. For several expansions $T$ of the theory of real closed fields we obtain analogues of Shepherdson's Theorem in the following sense: If an exponential field $\mathcal R$ is a model of $T$ and a discretely ordered ring $\mathcal M$ is an (exponential) integer part of $\mathcal R$, then $\mathcal M^+$ is a model of the open induction in the expanded language. The proof of the opposite implication, in general, remains an open question. However, we isolate a natural sufficient condition, related to the well-known Bernoulli inequality, under which this result holds. We define a finite extension $T$ of the usual open induction so that, for any discretely ordered ring $\mathcal M$, the semiring $\mathcal M^+$ satisfies $T$ iff there is an exponential real closed field $\mathcal R$ with the inequality $\exp(x) \geqslant 1 + x$ such that $\mathcal M$ is an exponential integer part of $\mathcal R$. Using these results, we obtain some concrete independence results for these theories. |
| title | Analogues of Shepherdson's Theorem for a language with exponentiation |
| topic | Logic |
| url | https://arxiv.org/abs/2306.02012 |