Mathematics – Logic
Scientific paper
2006-07-06
Mathematics
Logic
To appear in Journal of Pure and Applied Algebra; 8 pages
Scientific paper
Following recent work of R. Cluckers and F. Loeser [Fonctions constructible et integration motivic I, C. R. Math. Acad. Sci. Paris 339 (2004) 411 - 416] on motivic integration, we develop a direct image formalism for positive constructible functions in the globally subanalytic context. This formalism is generalized to arbitrary first-order logic models and is illustrated by several examples on the p-adics, on the Presburger structure and on o-minimal expansions of groups. Furthermore, within this formalism, we define the Radon transform and prove the corresponding inversion formula.
Cluckers Raf
Edmundo Mário
No associations
LandOfFree
Integration of positive constructible functions against Euler characteristic and dimension does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Integration of positive constructible functions against Euler characteristic and dimension, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Integration of positive constructible functions against Euler characteristic and dimension will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-45554