We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Positive predicate structures for continuous data.
- Authors
KOROVINA, MARGARITA; KUDINOV, OLEG
- Abstract
In this paper, we develop a general framework for continuous data representations using positive predicate structures. We first show that basic principles of Σ-definability which are used to investigate computability, i.e., existence of a universal Σ-predicate and an algorithmic characterization of Σ-definability hold on all predicate structures without equality. Then we introduce positive predicate structures and show connections between these structures and effectively enumerable topological spaces. These links allow us to study computability over continuous data using logical and topological tools.
- Subjects
PREDICATE (Logic); CONTINUOUS functions; DATA analysis; DEFINABILITY theory (Mathematical logic); UNIVERSAL algebra; TOPOLOGICAL spaces
- Publication
Mathematical Structures in Computer Science, 2015, Vol 25, Issue 8, p1669
- ISSN
0960-1295
- Publication type
Article
- DOI
10.1017/S0960129513000315