Restricted analytic valued fields with partial exponentiation

TL;DR

This paper investigates non-archimedean valued fields with restricted analytic functions and a partial exponential, establishing model completeness and showing models can extend partial exponentials to full ones.

Contribution

It introduces a first-order theory for such fields, proving model completeness and the extendability of partial exponentials to full exponentials.

Findings

Proves model completeness of the theory.

Shows models can extend partial exponentials to full exponentials.

Establishes desirable logical properties for these fields.

Abstract

Non-archimedean fields with restricted analytic functions may not support a full exponential function, but they always have partial exponentials defined in convex subrings. On face of this, we study the first order theory of the class of non-archimedean ordered valued fields augmented by all restricted analytic functions and an exponential function defined in the valuation ring, which extends the restricted analytic exponential. We obtain model completeness and other desirable properties for this theory. In particular, any model embeds in a model where the partial exponential extends to a full one.