includes event Computably enumerable and co-computably enumerable equivalence structures Maximal computably enumerable sets and vector spaces Orders on groups, their spaces, and complexity