144 citations · 316 across the 8 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2018★ 1 cited
Subrecursive Approximations of Irrational Numbers by Variable Base Sums
Ivan Georgiev, Lars Kristiansen, Frank Stephan
There are numerous ways to represent real numbers. We may use, e.g., Cauchy sequences, Dedekind cuts, numerical base-10 expansions, numerical base-2 expansions and continued fracti…
math.LO2017
Characterization theorem for the conditionally computable real functions
Ivan Georgiev
The class of uniformly computable real functions with respect to a small subrecursive class of operators computes the elementary functions of calculus, restricted to compact subset…
math.LO2012★ 2 cited
Conditional computability of real functions with respect to a class of operators
Ivan Georgiev, Dimiter Skordev
For any class of operators which transform unary total functions in the set of natural numbers into functions of the same kind, we define what it means for a real function to be un…