- S. M. Dudakov, “On undecidability degree of theory of figures in linear spaces”, jour, 2, № 4, 2025, 51

- Sergey Mikhailovich Dudakov, “Проблемы алгоритмической разрешимости и аксиоматизации алгебры конечных подмножеств для бинарных операций”, Известия Российской академии наук. Серия математическая, 89, № 2, 2025, 3

- Sergey Mikhailovich Dudakov, “Problems of algorithmic decidability and axiomatizability of finite subset algebra for binary operations”, Izv. Math., 89, № 2, 2025, 221
