An epsilon-delta characterization of a certain TTE computability notion
classification
🧮 math.LO
keywords
notioncomputabilityrepresentationsassumptionsavoidscauchycertaincharacterization
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.