Неабелево многообразие групп имеет неразрешимую элементарную теорию. А.Р. Замятин (1978) Algebra i Logika
Неаксиоматизируемость решеточно упорядочиваемых групп А.А. Виноградов (1971) Sibirskij matematiceskij zurnal
О позитивных теориях свободных инверсных полугрупп Б.В. Розенблат (1979) Sibirskij matematiceskij zurnal
Об одной полной системе классической арифметики Н.В. Белякин, N.V. Beljakin, N.V. Belâkin, N.V. Beljakin (1967) Algebra i Logika