Showing 2026Show all
3 papers · 1 filter
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.LO2026
Elimination results for tame fields with finite residue fields
Sylvy Anscombe, Blaise Boissonneau
Building on work of Kuhlmann and Lisinski, we study the theory of the Hahn series field , over a finite field , equipped with the…
math.LO2026
The Grothendieck ring of a non-divisible ordered abelian group is trivial
Blaise Boissonneau, Mathias Stout, Floris Vermeulen
We consider the model-theoretic Grothendieck ring of definable sets in ordered abelian groups. It is well-known that and $\mat…