Snyatkov Aleksei Sergeevich

Publications in Math-Net.Ru

1. Lower boundary of time to resolve the theory with the exponential function
   
   Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2012, no. 2,  5–10
2. On decidability of the theory $\mathrm{Th}(\omega,0,1,<,+,f_0,\dots,f_n)$
   
   Model. Anal. Inform. Sist., 17:3 (2010),  72–90
3. The solvability of the theory $ T_f = \ Th (\ omega, 0, 1, <, +, f (x), F (x)) $
   
   Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2008, no. 9,  39–51