``Degrees of convex dependence in recursively enumerable vector spaces.''

In DVI, PDF, or postscript. In Annals of Pure and Applied Logic 60 (1993), 31--47.

Proves that in vector spaces with computable operations, linear dependence
and convexity are computable from each other.