By arithmetic expression I mean one consisting of arbitrary combinations of natural number constants, a single real variable x (which may appear any number of times in the expression), and the five ...

Is it possible to define a total order on arbitrary arithmetic expressions of a single real variable that respects eventual sign? – math.stackexchange.com
stackshifter

