Вычислимость некоторых классов конструктивных алгебр В.П. Добрица (1977) Sibirskij matematiceskij zurnal
Категоричность в мощности и недвукардинальность формулы конечного ранга. М.М. Еримбетов (1974) Algebra i Logika