Direct Summands of Recursively Enumerable Vector Spaces
- 1 January 1979
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 25 (19-24) , 363-372
- https://doi.org/10.1002/malq.19790251908
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Simple and hyperhypersimple 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
- Recursion theory and algebraPublished by Springer Nature ,1975
- Automorphisms of the Lattice of Recursively Enumerable Sets Part I: Maximal SetsAnnals of Mathematics, 1974
- Countable vector spaces with recursive operations Part IIThe Journal of Symbolic Logic, 1971
- Bases and α-dimensions of countable vector spaces with recursive operationsThe Journal of Symbolic Logic, 1970
- Countable vector spaces with recursive operations Part I1The Journal of Symbolic Logic, 1969
- On the lattice of recursively enumerable setsTransactions of the American Mathematical Society, 1968
- Computable Algebra, General Theory and Theory of Computable FieldsTransactions of the American Mathematical Society, 1960
- Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplicationThe Journal of Symbolic Logic, 1958