Exponential-constructible functions in P-minimal structures

DOI10.1142/S0219061320500051MaRDI QIDQ5118046zbMATHzbMATHWikidataFDO

Authors Saskia Chambille, Pablo Cubides Kovacsics, Eva Leenknegt

Publication date 4 September 2020

Published in Journal of Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

\(p\)-adic integrationconstructible functions\(P\)-minimalityexponential-constructible functions

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Semialgebraic sets and related spaces (14P10)

Abstract: Exponential-constructible functions are an extension of the class of constructible functions. This extension was formulated by Cluckers-Loeser in the context of semi-algebraic and sub-analytic structures, when they studied stability under integration. In this paper we will present a natural refinement of their definition that allows for stability results to hold within the wider class of P-minimal structures. One of the main technical improvements is that we remove the requirement of definable Skolem functions from the proofs. As a result, we obtain stability in particular for all intermediate structures between the semi-algebraic and the sub-analytic languages.

Recommendations

• Integration and cell decomposition in \(P\)-minimal structures
• A version of \(p\)-adic minimality
• Stability under integration of sums of products of real globally subanalytic functions and their logarithms
• Constructible exponential functions, motivic Fourier transform and transfer principle
• Analytic $p$-adic cell decomposition and integrals

Cites work

• scientific article; zbMATH DE number 3961776 (Why is no real title available?)
• scientific article; zbMATH DE number 1531894 (Why is no real title available?)
• A version of o-minimality for the p-adics
• Analytic $p$-adic cell decomposition and integrals
• Ax-Kochen-Eršov theorems for \(p\)-adic integrals and motivic integration
• Cell decomposition and classification of definable sets in \(p\)-optimal fields
• Cell decomposition forP-minimal fields
• Clustered cell decomposition in \(P\)-minimal structures
• Constructible motivic functions and motivic integration
• DIFFERENTIATION IN P-MINIMAL STRUCTURES AND A p-ADIC LOCAL MONOTONICITY THEOREM
• Integrability of oscillatory functions on local fields: transfer principles
• Integration and cell decomposition in \(P\)-minimal structures
• p-adic semi-algebraic sets and cell decomposition.

Cited in

(3)

• Integration and cell decomposition in \(P\)-minimal structures
• Definable completeness of \(P\)-minimal fields and applications
• On groups interpretable in various valued fields

This page was built for publication: Exponential-constructible functions in \(P\)-minimal structures

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