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.

First-Order Continuous Induction and a Logical Study of Real Closed Fields

First-Order Continuous Induction, and a Logical Study of Real Closed Fields

Completeness of Ordered Fields

Continuous logic in a classical setting

Perpendicular Indiscernible Sequences in Real Closed Fields

Definability in affine continuous logic

Analogues of Shepherdson's Theorem for a language with exponentiation

A Logic for Non-Monotone Inductive Definitions

New Proof for Continual Induction and Its Application

Completeness of the Leibniz Field and Rigorousness of Infinitesimal Calculus

Infrafiltration Theorem and Some Inductive Sequence of Models of Generalized Second-Order Dedekind Theory of Real Numbers With Exponentially Increasing Powers

A simple continuous theory

A General Inductive Principle for an Ordered Set and the Continual Induction

Equivalence of Intuitionistic Inductive Definitions and Intuitionistic Cyclic Proofs under Arithmetic

A characterization of Continuous Logic by using quantale-valued logics

Truth, Disjunction, and Induction

Automating Induction by Reflection

First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability

Optimized Program Extraction for Induction and Coinduction

: a Family of Extensional Type Theories with Effectful Realizers of Continuity

Infinitary and Cyclic Proof Systems for Transitive Closure Logic