Primitive recursive ordered fields and some applications

Victor L. Selivanov, Svetlana Selivanova. Primitive recursive ordered fields and some applications. Computability, 12(1):71-99, 2023. [doi]

Authors

Victor L. Selivanov

This author has not been identified. Look up 'Victor L. Selivanov' in Google

Svetlana Selivanova

This author has not been identified. Look up 'Svetlana Selivanova' in Google