includes event Computability-theoretic complexity of theories, structures, and relations Systems that learn algorithmically generated languages and structures