RUS
ENG
Full version
PEOPLE
Avkhimovich Nicole Vadimovna
Publications in Math-Net.Ru
On decidability of finite subsets’ theory for dense linear order
Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.]
, 2023, no. 1,
24–35
On decidability of finite subsets’ theory for discrete linear order
Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.]
, 2022, no. 3,
91–104
©
Steklov Math. Inst. of RAS
, 2024