Maximal computably enumerable sets and vector spaces Presentation uri icon