A radical answer to a question by Robinson

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 of rings. This answers a question of R. Robinson.