Primitive Recursive Ordered Fields and Some Applications.

Victor L. Selivanov, Svetlana Selivanova

Browse the full CASC paper archive.