8 citations · 8 across the 6 of their papers we have counts for
1 paper · 1 filter
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…