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.

Embedding the prime model of real exponentiation into o-minimal exponential fields

Analogues of Shepherdson's Theorem for a language with exponentiation

Value Groups and Residue Fields of Models of Real Exponentiation

Exponential periods and o-minimality

A pseudoexponentiation-like structure on the algebraic numbers

On transasymptotic expansions of o-minimal germs

Exponential sums over small subgroups, revisited

The Frobenius problem over number fields with a real embedding

The largest prime factor of and improvements on subexponential

Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures

Restricted analytic valued fields with partial exponentiation

From Saturated Embedding Tests to Explicit Algorithms

Subexponentials in non-commutative linear logic

Quasiminimality of complex powers

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

A note on the non-existence of prime models of theories of pseudo-finite fields

Finite models for positive combinatorial and exponential algebra

A Schanuel Property for $j$

An Embedding Theorem for Eichler Orders

A Schanuel property for exponentially transcendental powers

Real exponential sums over primes and prime gaps