An epsilon-delta characterization of a certain TTE computability notion
نشر في Dimiter Skordev
بتاريخ 2012
والبحث باللغة
English
تحميل البحث
الملخص بالإنكليزية
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 avoids using the representations.