Journal of Symbolic Logic 44 (3):383-402 (1979)

In [6], Metakides and Nerode introduced the study of the lattice of recursively enumerable substructures of a recursively presented model as a means to understand the recursive content of certain algebraic constructions. For example, the lattice of recursively enumerable subspaces,, of a recursively presented vector spaceV∞has been studied by Kalantari, Metakides and Nerode, Retzlaff, Remmel and Shore. Similar studies have been done by Remmel [12], [13] for Boolean algebras and by Metakides and Nerode [9] for algebraically closed fields. In all of these models, the algebraic closure of a set is nontrivial., is given in §1, however in vector spaces, cl is just the subspace generated byS, in Boolean algebras, cl is just the subalgebra generated byS, and in algebraically closed fields, cl is just the algebraically closed subfield generated byS.)In this paper, we give a general model theoretic setting in which we are able to give constructions which generalize many of the constructions of classical recursion theory. One of the main features of the modelswhich we study is that the algebraic closure of setis just itself, i.e., cl = S. Examples of such models include the natural numbers under equality 〈N, = 〉, the rational numbers under the usual ordering 〈Q, ≤〉, and a large class ofn-dimensional partial orderings.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2273131
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,849
Through your library

References found in this work BETA

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Creative Sets.John Myhill - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):97-108.
Creative Sets.John Myhill - 1955 - Mathematical Logic Quarterly 1 (2):97-108.
Recursively Enumerable Vector Spaces.G. Metakides - 1977 - Annals of Mathematical Logic 11 (2):147.

View all 6 references / Add more references

Citations of this work BETA

The Given.John N. Crossley - 1982 - Studia Logica 41 (2-3):131 - 139.
Recursion Theory on Algebraic Structures with Independent Sets.J. B. Remmel - 1980 - Annals of Mathematical Logic 18 (2):153.

Add more citations

Similar books and articles


Added to PP index

Total views
30 ( #351,658 of 2,426,104 )

Recent downloads (6 months)
1 ( #543,466 of 2,426,104 )

How can I increase my downloads?


My notes