On preparation theorems for R_{an, exp}-definable functions

DOI10.4115/JLA.2023.15.1MaRDI QIDQ6170639zbMATH OpenWikidataFDO

Authors Andre Opris

Publication date 10 August 2023

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2112.08161

zbMATH Keywords

exponential numberlog-analytic functionso-minimal structurespreparation theorems

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Real-analytic and semi-analytic sets (14P15) Elementary functions (26A09) Real-analytic functions (26E05) (C^infty)-functions, quasi-analytic functions (26E10) Semi-analytic sets, subanalytic sets, and generalizations (32B20)

Abstract: In this article we give strong versions for preparation theorems for $mathbb{R}_{an,exp}$-definable functions outgoing from methods of Lion and Rolin ($mathbb{R}_{an,exp}$ is the o-minimal structure generated by all restricted analytic functions and the global exponential function). By a deep model theoretic fact of Van den Dries, Macintyre and Marker every $mathbb{R}_{an,exp}$-definable function is piecewise given by $mathcal{L}_{an}(exp,log)$-terms where $mathcal{L}_{an}(exp,log)$ denotes the language of ordered rings augmented by all restricted analytic functions, the global exponential and the global logarithm. The idea is to consider log-analytic functions at first, i.e. functions which are iterated compositions from either side of globally subanalytic functions and the global logarithm, and then $mathbb{R}_{an,exp}$-definable functions as compositions of log-analytic functions and the global exponential.

Recommendations

• Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank
• Differentiability properties of log-analytic functions
• Restricted log-exp-analytic power functions
• A preparation theorem for Weierstrass systems
• scientific article; zbMATH DE number 2220968
• Growth of log-analytic functions
• Logarithmic-Exponential Power Series
• Asymptotic expansions of logarithmic-exponential functions
• Undefinability results in o-minimal expansions of the real numbers
• R-analytic functions

Cites work

• A preparation theorem for Weierstrass systems
• A remark on the Lion-Rolin Preparation Theorem for LA-functions
• Differentiability properties of log-analytic functions
• Extending Tamm's theorem
• Geometric categories and o-minimal structures
• Global complexification of real analytic globally subanalytic functions
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 2220968 (Why is no real title available?)
• Restricted log-exp-analytic functions and some differentiability results
• Stability under integration of sums of products of real globally subanalytic functions and their logarithms
• The elementary theory of restricted analytic fields with exponentiation
• Théorème de préparation pour les fonctions logarithmico-exponentielles. (Preparation theorem for logarithmico-exponential functions)

Cited in

(5)

• Łojasiewicz inequalities for sets definable in the structure \({\mathbb R}_{\text{exp}}\)
• Restricted log-exp-analytic functions and some differentiability results
• Complex continuations of ℝ_an,exp-definable unary functions with a diophantine application
• Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank
• Restricted log-exp-analytic power functions

This page was built for publication: On preparation theorems for R_{an, exp}-definable functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6170639)