Scholarlink

<p>Non-archimedean models of the theory of the real ordered field with restricted analytic functions may not support a total exponential function, but they always have partial exponentials defined in certain convex subrings. On face of this, we study the first order theory of non-archimedean ordered valued fields with 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 total one.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Restricted analytic valued fields with partial exponentiation

  • 期刊论文

  • 发表日期：

    2025年3月13日

查看全文
  • Leonardo Ángel,
  • Xavier Caicedo

摘要

Non-archimedean models of the theory of the real ordered field with restricted analytic functions may not support a total exponential function, but they always have partial exponentials defined in certain convex subrings. On face of this, we study the first order theory of non-archimedean ordered valued fields with 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 total one.