Order with successors is not interprétable in RCF
S. Świerczkowski · Fundamenta Mathematicae · 1993
Using the monotonicity theorem of L. van den Dries for RCF-definable real functions, and a further result of that author about RCF-definable equivalence relations on ℝ, we show that the theory of order with successors is not interpretable in the theory RC