Exponential-constructible functions in P-minimal structures

DOI10.1142/S0219061320500051zbMATH Open1472.14064arXiv1802.08508WikidataQ115523123 ScholiaQ115523123MaRDI QIDQ5118046FDOQ5118046

Saskia Chambille, Eva Leenknegt, Pablo Cubides Kovacsics

Publication date: 4 September 2020

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

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.

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

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

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)

Cites Work

• Ax-Kochen-Eršov theorems for \(p\)-adic integrals and motivic integration
• Title not available (Why is that?)
• Constructible motivic functions and motivic integration
• A version of o-minimality for the p-adics
• Cell decomposition forP-minimal fields
• p-adic semi-algebraic sets and cell decomposition.
• Analytic $p$-adic cell decomposition and integrals
• Title not available (Why is that?)
• INTEGRATION AND CELL DECOMPOSITION IN P-MINIMAL STRUCTURES
• CELL DECOMPOSITION AND CLASSIFICATION OF DEFINABLE SETS INp-OPTIMAL FIELDS
• Clustered cell decomposition in \(P\)-minimal structures
• Integrability of oscillatory functions on local fields: transfer principles
• DIFFERENTIATION IN P-MINIMAL STRUCTURES AND A p-ADIC LOCAL MONOTONICITY THEOREM

Cited In (2)

• On groups interpretable in various valued fields
• Definable completeness of P-minimal fields and applications

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)