- Computable isomorphisms, degree spectra of relations, and Scott families.Bakhadyr Khoussainov & Richard A. Shore - 1998 - Annals of Pure and Applied Logic 93 (1-3):153-193.details
|
|
Recursion theory and ordered groups.R. G. Downey & Stuart A. Kurtz - 1986 - Annals of Pure and Applied Logic 32:137-151.details
|
|
Automorphisms of substructure lattices in recursive algebra.David R. Guichard - 1983 - Annals of Pure and Applied Logic 25 (1):47-58.details
|
|
Maximal theories.R. G. Downey - 1987 - Annals of Pure and Applied Logic 33 (C):245-282.details
|
|
Undecidability of L(F∞) and other lattices of r.e. substructures.R. G. Downey - 1986 - Annals of Pure and Applied Logic 32:17-26.details
|
|
Recursively enumerable vector spaces.G. Metakides - 1977 - Annals of Mathematical Logic 11 (2):147.details
|
|
Recursive properties of relations on models.Geoffrey R. Hird - 1993 - Annals of Pure and Applied Logic 63 (3):241-269.details
|
|
Complexity-theoretic algebra II: Boolean algebras.A. Nerode & J. B. Remmel - 1989 - Annals of Pure and Applied Logic 44 (1-2):71-99.details
|
|
Foundations of recursive model theory.Terrence S. Millar - 1978 - Annals of Mathematical Logic 13 (1):45.details
|
|
Recursively enumerable Boolean algebras.J. B. Remmel - 1978 - Annals of Mathematical Logic 15 (1):75.details
|
|
(1 other version)Automorphisms and Recursive Structures.R. G. Downey & J. B. Remmel - 1987 - Mathematical Logic Quarterly 33 (4):339-345.details
|
|
(1 other version)Automorphisms and Recursive Structures.R. G. Downey & J. B. Remmel - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):339-345.details
|
|
A note on r-maximal subspaces of V[infinity].David R. Guichard - 1984 - Annals of Pure and Applied Logic 26 (1):1.details
|
|
On the lattices of NP-subspaces of a polynomial time vector space over a finite field.Anil Nerode & J. B. Remmel - 1996 - Annals of Pure and Applied Logic 81 (1-3):125-170.details
|
|
Degrees of convex dependence in recursively enumerable vector spaces.Thomas A. Nevins - 1993 - Annals of Pure and Applied Logic 60 (1):31-47.details
|
|
The undecidability of the lattice of R.E. closed subsets of an effective topological space.Sheryl Silibovsky Brady & Jeffrey B. Remmel - 1987 - Annals of Pure and Applied Logic 35 (C):193-203.details
|
|
Recursion theory on algebraic structures with independent sets.J. B. Remmel - 1980 - Annals of Mathematical Logic 18 (2):153.details
|
|