activity
20072026
most citedQuantifier elimination in ordered abelian groups

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

collaborators
Showing 2022Show all

2 papers · 1 filter

math.AG2022

Motivic Vitushkin invariants

Georges Comte, Immanuel Halupczok

We prove the nonarchimedean counterpart of a real inequality involving the metric entropy and measure geometric invariants , called Vitushkin's variations. Our inequality is b…

math.AG2022

Riso-stratifications and a tree invariant

David Bradley-Williams, Immanuel Halupczok

We introduce a new notion of stratification (``riso-stratification''), which is canonical and which exists in a variety of settings, including different topological fields like $\m…