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

DOI10.4064/fm70-5-2021zbMath1489.14081arXiv1803.00598OpenAlexW2792637593MaRDI QIDQ5029034

Tobias Kaiser

Publication date: 11 February 2022

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

differentiabilitypreparationlog-analytic functionsTamm's theorem

Mathematics Subject Classification ID

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

Cites Work

• Global complexification of real analytic globally subanalytic functions
• Integration of semialgebraic functions and integrated Nash functions
• \(R\)-analytic functions
• Stability under integration of sums of products of real globally subanalytic functions and their logarithms
• First order tameness of measures
• Intégration des fonctions sous-analytiques et volumes des sous-ensembles sous-analytiques. (Integration of subanalytic functions and volumes of subanalytic subspaces)
• The elementary theory of restricted analytic fields with exponentiation
• Log-analytic nature of the volume of subanalytic sets
• Ordered exponential fields
• Lebesgue classes and preparation of real constructible functions
• Loci of Integrability, Zero Loci, and Stability Under Integration for Constructible Functions on Euclidean Space with Lebesgue Measure
• Exponentiation in power series fields
• Lebesgue measure and integration theory on non-archimedean real closed fields with archimedean value group
• Logarithmic-exponential series
• Unnamed Item
• Unnamed Item
• Unnamed Item