includes event Computability-theoretic properties of relations on computable models Inductive inference of classes of computably enumerable vector spaces Intrinsically Sigma-0-alpha relations on computable structures