2 citations · 7 across the 5 of their papers we have counts for
5 papers
Moschovakis Extension of Represented Spaces
Dimiter Skordev
Given a represented space (in the sense of TTE theory), an appropriate representation is constructed for the Moschovakis extension of its carrier (with paying attention to the case…
Some theorems on passing from local to global presence of properties of functions
Dimiter Skordev
When given a class of functions and a finite collection of sets, one might be interested whether the class in question contains any function whose domain is a subset of the union o…
Approximation systems for functions in topological and in metric spaces
Dimiter Skordev
A notable feature of the TTE approach to computability is the representation of the argument values and the corresponding function values by means of infinitistic names. Two ways t…
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…
An epsilon-delta characterization of a certain TTE computability notion
Dimiter Skordev
The TTE computability notion in effective metric spaces is usually defined by using Cauchy representations. Under some weak assumptions, we characterize this notion in a way which…