Recursion theory on algebraic structures with independent sets
- 30 June 1980
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 18 (2) , 153-191
- https://doi.org/10.1016/0003-4843(80)90016-9
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Recursion theory on orderings. I. A model theoretic settingThe Journal of Symbolic Logic, 1979
- Major subspaces of recursively enumerable vector spacesThe Journal of Symbolic Logic, 1978
- Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spacesThe Journal of Symbolic Logic, 1977
- Recursively enumerable vector spacesAnnals of Mathematical Logic, 1977
- Countable vector spaces with recursive operations Part IIThe Journal of Symbolic Logic, 1971
- Countable vector spaces with recursive operations Part I1The Journal of Symbolic Logic, 1969
- The elementary theory of recursively enumerable setsDuke Mathematical Journal, 1968
- On the lattice of recursively enumerable setsTransactions of the American Mathematical Society, 1968
- Classes of Recursively Enumerable Sets and Degrees of UnsolvabilityMathematical Logic Quarterly, 1966
- Creative setsMathematical Logic Quarterly, 1955