Completeness theorem for topological class models
scientific article; zbMATH DE number 5126636