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…