|
|
Publications in Math-Net.Ru
-
Inner constructivizability of functional structures
Algebra Logika, 61:1 (2022), 23–41
-
Interval extensions of orders and temporal approximation spaces
Sibirsk. Mat. Zh., 62:4 (2021), 894–910
-
Processes and structures on approximation spaces
Algebra Logika, 56:1 (2017), 93–109
-
Generalized hyperarithmetical computability over structures
Algebra Logika, 55:6 (2016), 769–799
-
Properties of $s\Sigma$-reducibility
Algebra Logika, 53:5 (2014), 625–642
-
On quasiregular structures with computable signatures
Sib. Èlektron. Mat. Izv., 11 (2014), 444–450
-
$\Sigma$-definability of uncountable models of $c$-simple theories
Sibirsk. Mat. Zh., 51:3 (2010), 649–661
-
A jump inversion theorem for the semilattices of $\Sigma$-degrees
Sib. Èlektron. Mat. Izv., 6 (2009), 182–190
-
Degrees of presentability of structures. II
Algebra Logika, 47:1 (2008), 108–126
-
Degrees of presentability of structures. I
Algebra Logika, 46:6 (2007), 763–788
-
On inner constructivizability of admissible sets
Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 5:1 (2005), 69–76
-
$\Sigma$-Definability in Hereditarily Finite Superstructures and Pairs of Models
Algebra Logika, 43:4 (2004), 459–481
-
$\Sigma$-Admissible Families over Linear Orders
Algebra Logika, 41:2 (2002), 228–252
© , 2024