Analogues of Shepherdson's Theorem for a language with exponentiation

Konstantin Kovalyov

In 1964 Shepherdson \cite{shepherdson:1964} proved that a discretely ordered semiring ${\mathcal{M}}^{+}$ satisfies $\mathsf{IOpen}$ (quantifier free induction) iff the corresponding ring…