Alan G. Hamilton Bases and alpha-Dimensions of Countable Vector Spaces with Recursive Operations. 85-96 1970 35 J. Symb. Log. 1 db/journals/jsyml/jsyml35.html#Hamilton70