Article contents
Isomorphisms on countable vector spaces with recursive operations
Published online by Cambridge University Press: 09 April 2009
Extract
Terminology and notation may be found in Dekker [1] and [2]. Briefly, we fix a recursively enumerable (r.e.) field F with recursive structure, and let Ū be the vector space over F consisting of ultimately vanishing countable sequences of elements of F with the usual definitions of vector addition and multiplication by a scalar. A subspace V of Ū is called an α-space if V has a basis B which is contained in some r.e. linearly independent set S.
- Type
- Research Article
- Information
- Journal of the Australian Mathematical Society , Volume 18 , Issue 2 , September 1974 , pp. 230 - 235
- Copyright
- Copyright © Australian Mathematical Society 1974
References
- 2
- Cited by