O-minimality and Trans-series: Decidability of the Real Exponential Field with Restricted Analytic Functions

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Zen Revista, 10 MFC
DOI: 10.5281/zenodo.18142228
Cited by: 0

Abstract

We establish the effective model completeness and decidability of the real exponential field expanded by restricted analytic functions by constructing a canonical derivation-preserving embedding into the field of logarithmic-exponential trans-series.

Fields of Study & Subjects

Advanced Topology and Set Theory Polynomial and algebraic computation Mathematical and Theoretical Analysis

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
3 January 2026