25 citations · 95 across the 28 of their papers we have counts for
Showing 2015 · math.LOShow all
3 papers · 2 filters
math.LO2015
Integration of functions of motivic exponential class, uniform in all non-archimedean local fields of characteristic zero
Raf Cluckers, Immanuel Halupczok
Through a cascade of generalizations, we develop a theory of motivic integration which works uniformly in all non-archimedean local fields of characteristic zero, overcoming some o…
math.LO2015★ 1 cited
Lipschitz stratifications in power-bounded o-minimal fields
Immanuel Halupczok, Yimu Yin
We propose to grok Lipschitz stratifications from a non-archimedean point of view and thereby show that they exist for closed definable sets in any power-bounded o-minimal structur…
math.LO2015
A definable henselian valuation with high quantifier complexity
Immanuel Halupczok, Franziska Jahnke
We give an example of a parameter-free definable henselian valuation ring which is neither definable by a parameter-free -formula nor by a parameter-free $\exists\f…