Immanuel Halupczok

activity

20072026

most citedQuantifier elimination in ordered abelian groups

25 citations · 95 across the 28 of their papers we have counts for

collaborators

Showing 2020Show all

2 papers · 1 filter

math.AG2020

Evaluation of motivic functions, non-nullity, and integrability in fibers

Raf Cluckers, Immanuel Halupczok

We define an operation of evaluation at a point for motivic constructible (exponential) functions from the Cluckers-Loeser framework of motivic integration and show that two such m…

math.NT2020★ 1 cited

A $p$ -adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration

Immanuel Halupczok, Raf Cluckers

We prove that if two semi-algebraic subsets of $Q_{p}^{n}$ have the same $p$ -adic measure, then this equality can already be deduced using only some basic integral transformat…

Evaluation of motivic functions, non-nullity, and integrability in fibers

A p-adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration

A $p$ -adic variant of Kontsevich-Zagier integral operation rules and of Hrushovski-Kazhdan style motivic integration