Effective Properties of Finitely Generated R.E. Algebras
Bakhadyr Khoussainov, Anil Nerode · Birkhäuser Boston eBooks · 1995
In this paper we are interested in the properties of finitely generated r.e. structures. Well-known examples of such structures are finitely presented groups, rings, etc. The class of r.e. structures is a very natural class which contains the class of recursive structures. Though the theory of recursive structures has been intensively investigated and some study of r.e. structures has been done, we think that a well-developed theory of r.e. structures is still missing. Our interest in finitely generated r.e. structures also comes from the theoretical computer science, mostly from the theory of algebraic specifications and abstract data types. We would like to briefly explain this phenomenon.