Primitive Recursive Ordered Fields and Some Applications

Victor Selivanov, Svetlana Selivanova

We establish primitive recursive versions of some known facts about computable ordered fields of reals and computable reals, and then apply them to proving primitive recursiveness…