Publications > Preprint server > Preprint Number 2351
Preprint Number 2351
2351. Leonardo Ángel and Xavier Caicedo Restricted analytic valued fields with partial exponentiation E-mail: Submission date: 18 February 2023 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. Mathematics Subject Classification: 03C10, 03C64, 12J25, 12L12 Keywords and phrases: |
Last updated: March 4 2023 18:50 | Please send your corrections to: |