加载中…
2012-07-31
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 avoids using the representations.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本