Bases and α-dimensions of countable vector spaces with recursive operations

Publisher Website
Google Scholar
Abstract
This paper is based on the notions originally described by Dekker [2], [3], and the reader is referred to these for explanation of notation etc. Briefly, we are concerned with a countably infinite dimensional countable vector space Ū with recursive operations, regarded as being coded as a set of natural numbers. Necessarily, then, Ū must be a vector space over a field which itself is in some sense recursively enumerable and has recursive operations.

This publication has 0 references indexed in Scilit: