Skip to main content
    • Aa
    • Aa

Computation over algebraic structures and a classification of undecidable problems


We consider a uniform model of computation over algebraic structures resulting from a generalization of the Turing machine and the BSS model of computation. This model allows us to gain more insight into the reasons for unsolvability of algorithmic decision problems from different perspectives. For example, classes of undecidable problems can be introduced in several ways by analogy with the classical arithmetical hierarchy and, for many structures, the different definitions lead to different hierarchies of undecidable problems. Here, we will investigate some classes of a hierarchy that is defined semantically by our deterministic oracle machines and that can be syntactically characterized by formulas whose quantifiers range only over an enumerable set. Starting from machines over algebraic structures endowed with some relations and containing an infinite recursively enumerable sequence of individuals, we will also consider this hierarchy for BSS RAM's over the reals and some undecidable problems defined by algebraic properties of the real numbers.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

P.R.J. Asveld and J.V. Tucker (1982). Complexity theory and the operational structure of algebraic programming systems. Acta Informatica 17 451476.

L. Blum , F. Cucker , M. Shub and S. Smale (1998). Complexity and Real Computation, Springer.

L. Blum , M. Shub and S. Smale (1989). On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Bulletin of the American Mathematical Society 21 146.

E. Börger (1992). Berechenbarkeit, Komplexität, Logik, Vieweg.

F. Cucker (1992). The arithmetical hierarchy over the reals. Journal of Logic and Computation 2 (3) 375395.

F. Cucker and P. Koiran (1995). Computing over the reals with addition and order: Higher complexity classes. Journal of Complexity 11 358376.

D. Dobkin and R.J. Lipton (1978). A lower bound of $\frac12n^2$ on linear search programs for the knapsack problem. Journal of Computer and System Sciences 16 (3) 413417.

H. Friedman and R. Mansfield (1992). Algorithmic procedure. Transactions of the AMS 332 297312.

C. Gaßner (1997). On NP-completeness for linear machines. Journal of Complexity 13 259271.

C. Gaßner (2013). Strong Turing degrees for additive BSS RAM's. Logical Methods in Computer Science 9 (4:25) 118.

E. Grädel (2007). Finite model theory and descriptive complexity. In: E. Grädel , P.G. Kolaitis , L. Libkin , M. Marx , J. Spencer , M.Y. Vardi , Y. Venema and S. Weinstein (eds.) Finite Model Theory and Its Applications, Springer, 125230.

A. Hemmerling (1998). Computability of string functions over algebraic structures. Mathematical Logic Quarterly 44 144.

P. Koiran (1995). Computing over the reals with addition and order. Theoretical Computer Science 133 3547.

K. Meer and M. Ziegler (2008). An explicit solution to post's problem over the reals. Journal of Complexity 24 315.

Y.N. Moschovakis (1969). Abstract first order computability. I. Transactions of the American Mathematical Society 138 427464.

Y.N. Moschovakis (1980). Descriptive set theory. Studies in Logic and the Foundations of Mathematics 100, North-Holland.

F.P. Preparata and M.I. Shamos (1985). Computational Geometry: An Introduction, Springer.

D. Scott (1967). Some definitional suggestions for automata theory. Journal of Computer and System Sciences 1 (2) 187212.

R.I. Soare (1987). Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets, Springer.

D. Spreen (1995). On some decision problems in programming. Information and Computation 122 120139. Corrigendum ibid. 148 (1999) 241–244.

D. Spreen (2010). Every Δ0 2-set is natural, up to Turing equivalence. In: F. Ferreira et al., (eds.) CiE2010, Lecture Notes in Computer Science 6158, Springer (2010), 386393.

N. Tavana and K. Weihrauch (2011). Turing machines on represented sets, a model of computation for analysis. Logical Methods in Computer Science 7 (2) 121.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
Please enter your name
Please enter a valid email address
Who would you like to send this to? *