RUS  ENG
Full version
PEOPLE

Avkhimovich Nicole Vadimovna

Publications in Math-Net.Ru

  1. 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
  2. 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