A computably enumerable vector space with the strong antibasis property. - L. R. Galminas (Arch. Math. Log., 2000)

More Undecidable Lattices of Steinitz Exchange Systems. - L. R. Galminas; John W. Rosenthal (J. Symb. Log., 2002)