A radical answer to a question by Robinson
arXiv:2606.24634
Abstract
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.
6 pages, 1 figure