G. Metakides and A. Nerode. Recursion theory and algebra. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 209–219. - Iraj Kalantari and Allen Retzlaff. Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces. The journal of symbolic logic, vol. 42 no. 4 (for 1977, pub. 1978), pp. 481–491. - Iraj Kalantari. Major subspaces of recursively enumerable vector spaces. The journal of symbolic logic, vol. 43 (1978), pp. 293–303. - J. Remmel. A r-maximal vector space not contained in any maximal vector space. The journal of symbolic logic, vol. 43 (1978), pp. 430–441. - Allen Retzlaff. Simple and hyperhypersimple vector spaces. The journal of symbolic logic, vol. 43 (1978), pp. 260–269. - J. B. Remmel. Maximal and cohesive vector spaces. The journal of symbolic logic, vol. 42 no. 3 (for 1977, pub. 1978), pp. 400–418. - J. Remmel. On r.e. and co-r.e. vector spaces with nonextendible bases. The journal of symbolic logic, vol. 45 (1980), pp. 20–34. - M. Lerman and J. B. Remmel. The universal splitting property: I. Logic Colloquim '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 181–207. - J. B. Remmel. Recursively enumerable Boolean algebras. Annals of mathematical logic, vol. 15 (1978), pp. 75–107. - J. B. Remmel. r-Maximal Boolean algebras. The journal of symbolic logic, vol. 44 (1979), pp. 533–548. - J. B. Remmel. Recursion theory on algebraic structures with independent sets. Annals of mathematical logic, vol. 18 (1980), pp. 153–191. - G. Metakides and J. B. Remmel. Recursion theory on orderings. I. A model theoretic setting. The journal of symbolic logic, vol. 44 (1979), pp. 383–402. - J. B. Remmel. Recursion theory on orderings. II. The journal of symbolic logic, vol. 45 (1980), pp. 317–333.

1986 ◽  
Vol 51 (1) ◽  
pp. 229-232
Author(s):  
Henry A. Kierstead
Keyword(s):  
New York ◽  
Mathematical Logic ◽  
Vector Space ◽  
Recursion Theory ◽  
Boolean Algebras ◽  
Vector Spaces ◽  
Symbolic Logic ◽  
Recursively Enumerable ◽  
North Holland Publishing ◽  
And Algebra

Controlling the dependence degree of a recursively enumerable vector space

1978 ◽  
Vol 43 (1) ◽  
pp. 13-22 ◽  
Author(s):  
Richard A. Shore
Keyword(s):  
Vector Space ◽  
Topological Structure ◽  
Independent Set ◽  
Original Data ◽  
Recursion Theory ◽  
Vector Spaces ◽  
Additional Structure ◽  
Recursively Enumerable ◽  
Added Benefit ◽  
And Algebra

Early work combining recursion theory and algebra had (at least) two different sets of motivations. First the precise setting of recursion theory offered a chance to make formal classical concerns as to the effective or algorithmic nature of algebraic constructions. As an added benefit the formalization gives one the opportunity of proving that certain constructions cannot be done effectively even when the original data is presented in a recursive way. One important example of this sort of approach is the work of Frohlich and Shepardson [1955] in field theory. Another motivation for the introduction of recursion theory to algebra is given by Rabin [1960]. One hopes to mathematically enrich algebra by the additional structure provided by the notion of computability much as topological structure enriches group theory. Another example of this sort is provided in Dekker [1969] and [1971] where the added structure is that of recursive equivalence types. (This particular structural view culminates in the monograph of Crossley and Nerode [1974].)More recently there is the work of Metakides and Nerode [1975], [1977] which combines both approaches. Thus, for example, working with vector spaces they show in a very strong way that one cannot always effectively extend a given (even recursive) independent set to a basis for a (recursive) vector space.

Recursion theory on orderings. I. A model theoretic setting

1979 ◽  
Vol 44 (3) ◽  
pp. 383-402 ◽  
Author(s):  
G. Metakides ◽  
J.B. Remmel
Keyword(s):  
Algebraic Closure ◽  
Recursion Theory ◽  
Boolean Algebras ◽  
Vector Spaces ◽  
Formal Definition ◽  
Recursively Enumerable ◽  
Closed Fields ◽  
Partial Orderings ◽  
Definition Of ◽  
Algebraically Closed Fields

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. (The formal definition of the algebraic closure of a setS, denoted cl(S), is given in §1, however in vector spaces, cl(S) is just the subspace generated byS, in Boolean algebras, cl(S) is just the subalgebra generated byS, and in algebraically closed fields, cl(S) is just the algebraically closed subfield generated byS.)In this paper, we give a general model theoretic setting (whose precise definition will be given in §1) 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) = 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.

Simplicity in effective topology

1982 ◽  
Vol 47 (1) ◽  
pp. 169-183 ◽  
Author(s):  
Iraj Kalantari ◽  
Anne Leggett
Keyword(s):  
Topological Space ◽  
Recursion Theory ◽  
Activity Analysis ◽  
Vector Spaces ◽  
Topological Spaces ◽  
Mathematical Structures ◽  
Recursively Enumerable ◽  
Countable Basis ◽  
Recursive Analysis ◽  
And Algebra

The recursion-theoretic study of mathematical structures other thanωis now a field of much activity. Analysis and algebra are two such structures which have been studied for their effective contents. Studies in analysis began with the work of Specker on nonconstructive proofs in analysis [16] and in Lacombe's inspiring notes on relevant notions of recursive analysis [8]. Studies in algebra originated in the work of Frolich and Shepherdson on effective extensions of explicit fields [1] and in Rabin's study of computable fields [15]. Equipped with the richness of modern techniques in recursion theory, Metakides and Nerode [11]–[13] began investigating the effective content of vector spaces and fields; these studies have been extended by Kalantari, Remmel, Retzlaff, Shore and others.Kalantari and Retzlaff [5] began a foundational inquiry into effectiveness in topological spaces. They consider a topological spaceXwith a countable basis ⊿ for the topology. The space isfully effective, that is, the basis elements are coded intoωand the operation of intersection of basis elements and the relation of inclusion among them are both computable. Similar to, the lattice of recursively enumerable (r.e.) subsets ofω, the collection of r.e. open subsets ofXforms a latticeℒ(X)under the usual operations of union and intersection.

Sign in / Sign up

Export Citation Format

Share Document