Publications in Math-Net.Ru
-
Computability and universal determinability of negatively representative models
Izv. Vyssh. Uchebn. Zaved. Mat., 2022, no. 10, 22–32
-
Uniform $m$-equivalences and numberings of classical systems
Sib. Èlektron. Mat. Izv., 19:1 (2022), 49–65
-
Uniformly computably separable algebras with effectively splittable families of negative congruences
Sibirsk. Mat. Zh., 63:3 (2022), 562–575
-
Separable algorithmic representations of classical systems and their applications
CMFD, 67:4 (2021), 707–754
-
Structures of degrees of negative representations of linear orders
Izv. Vyssh. Uchebn. Zaved. Mat., 2021, no. 12, 31–55
-
Negative dense linear orders
Sibirsk. Mat. Zh., 58:6 (2017), 1306–1331
© , 2026