The class of minimax groups is countably recognizable
scientific article; zbMATH DE number 6830188