© 2018, Springer International Publishing AG, part of Springer Nature. Using an extension of the notion of polynomial time presentable structure we show that some natural presentations of the ordered field ℝalgof algebraic ...