JF Knight, K Lange - Proceedings of the London Mathematical …, 2013 - Wiley Online Library
Real closed fields, and structures associated with them, are interesting from the point of view
of both model theory and computability. In this paper, we give results on the complexity of …