Complexity of categorical theories with computable models
scientific article; zbMATH DE number 5115808