Notes on exponential-logarithmic terms
From MaRDI portal
Publication:3028993
DOI10.4064/fm-127-1-45-50zbMath0626.03029MaRDI QIDQ3028993
Publication date: 1987
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/211627
germs; differential field; ladder; tower; inner extension; exponential-logarithmic fields; outer extension; transfinite power series; Turing equivalent
03C60: Model-theoretic algebra
12J25: Non-Archimedean valued fields
03C40: Interpolation, preservation, definability
12J15: Ordered fields
12L12: Model theory of fields
Related Items
Logarithmic-exponential series, Toward a model theory for transseries, Meta-expansion of transseries, Growth estimates for exp-log functions, Transseries and Todorov-Vernaeve's asymptotic fields