activity
20072026
most citedQuantifier elimination in ordered abelian groups

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

collaborators

32 papers

math.LO2026

A radical answer to a question by Robinson

Blaise Boissonneau, Mikel E. Garciarena, Immanuel Halupczok

We study the ring of Puiseux polynomials with integer coefficients. We prove notably that the order given by the leading coefficient is definable without parameters in the language…

math.AG2026

Corrigendum to `Evaluation of motivic functions, non-nullity, and integrability in fibers', Advances in Mathematics, Vol. 409, Part A, Paper No. 108635, 29 pages, doi:10.1016/j.aim.2022.108635 (2022)

Raf Cluckers, Immanuel Halupczok

We correct the statements and proofs of the (auxiliary) Propositions 4.1 and 4.2 of our paper `Evaluation of motivic functions, non-nullity, and integrability in fibers' in Advance…

math.LO2026

On simple groups definable in some valued fields

Jakub Gismatullin, Immanuel Halupczok, Dugald Macpherson

We prove that non-abelian definable, definably simple groups in 1-h-minimal henselian valued fields are essentially already linear algebraic groups. Here, the group is assumed to l…

math.AC2024

A Characterization of Quasi-homogeneous Bivariate Polynomials

David Bradley-Williams, Pablo Cubides Kovacsics, Immanuel Halupczok

If a reduced bivariate polynomial is quasi-homogeneous, then its discriminant is a monomial. Over fields of characteristic , we show that if one adds another simple condition, t…

math.AG2023

A Non-Archimedean Approach to Stratifications

Immanuel Halupczok

These are notes from a mini-course about the main results of arXiv:2206.03438: I explain how, using suitable valued fields, one obtains a natural notion of canonical stratification…

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…