We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
MAXIMAL COMPUTABILITY STRUCTURES.
- Authors
ILJAZOVIĆ, ZVONKO; VALIDŽIĆ, LUCIJA
- Abstract
A computability structure on a metric space is a set of sequences which satisfy certain conditions. Of a particular interest are those computability structures which contain a dense sequence, so called separable computability structures. In this paper we observe maximal computability structures which are more general than separable computability structures and we examine their properties. In particular, we examine maximal computability structures on subspaces of Euclidean space, we give their characterization and we investigate conditions under which a maximal computability structure on such a space is unique. We also give a characterization of separable computability structures on a segment.
- Subjects
COMPUTABILITY logic; METRIC spaces; SEQUENCE spaces; EUCLIDEAN distance; RECURSIVE functions
- Publication
Bulletin of Symbolic Logic, 2016, Vol 22, Issue 4, p445
- ISSN
1079-8986
- Publication type
Article
- DOI
10.1017/bsl.2016.26