"Решетка типов интерпретируемости многообразий Кантора" - читать интересную книгу автора (Смирнов Д. М.)