Abstract:In 1964 Shepherdson proved the following fact: a discretely ordered semiring $\mathcal{M}^+$ satisfies $\sf{IOpen}$ (open, or 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 the open induction in the expanded languages with the exponentiation and the power function and try to find a similar criterion for models of these theories. For several expansions $\mathsf 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 $\mathsf T$ and 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 implications remains an open question, but for some finite extension of the usual open induction we can prove the following theorem: for any discretely ordered ring $\mathcal M$ holds $\mathcal M^+$ satisfies this finite extension iff there is an exponential real closed field with the Bernoulli inequality $\mathcal R$ such that $\mathcal M$ is an exponential integer part of $\mathcal R$. After that, we consider a nonstandard o-minimal exponential field, constructed in the paper of van den Dries, Macintyre, Marker and using it and the results above, construct nonstandard models of the open induction in the expanded languages and obtain independence results.

A dichotomy for $T$-convex fields with a monomial group

Monotone $T$-convex $T$-differential fields

$T$-convexity, Weakly Immediate Types, and $T$-$λ$-Spherical Completions of o-minimal Structures

Approximation by $O$-minimal sets in power-bounded $T$-convex valued fields

$T$-convexly valued o-minimal fields are definably spherically complete

On the structure of $T$-$λ$-spherical completions of o-minimal fields

Restricted analytic valued fields with partial exponentiation

Strongly Minimal Relics of T-convex Fields

Definable Tietze extension property in o-minimal expansion of ordered group

Almost real closed fields with real analytic structure

Analogues of Shepherdson's Theorem for a language with exponentiation

Constant power maps on Hardy fields and transseries

C-minimal fields have the exchange property

Uniform existential definitions of valuations in function fields in one variable

Zilber dichotomy for $DCF_{0,m}$

Ordered transexponential fields

On groups interpretable in various valued fields

Model categories for o-minimal geometry

The operadic theory of convexity

Dp-minimal expansions of $(\mathbb{Z},+)$ via dense pairs via Mordell-Lang

Beyond the Fontaine-Wintenberger theorem