Algorithmic operators in constructive metric spaces
From MaRDI portal
Publication:5573970
DOI10.1090/trans2/064/01zbMath0183.01602MaRDI QIDQ5573970
Publication date: 1967
Published in: Nine Papers on Logic and Group Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/trans2/064/01
Related Items
On the Continuity of Effective Multifunctions, Representations versus numberings: On the relationship of two computability notions, Total sets and objects in domain theory, A domain-theoretic approach to computability on the real line, Computable Banach spaces via domain theory, Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II, Effective inseparability in a topological setting, An abstract data type for real numbers, Church's thesis without tears