Tverskoi A A

Publications in Math-Net.Ru

1. Nonconstructivizable formal arithmetic structures
   
   Izv. Akad. Nauk SSSR Ser. Mat., 51:1 (1987),  111–130
2. Constructivizable and non-constructivizable formal arithmetic structures
   
   Uspekhi Mat. Nauk, 40:6(246) (1985),  159–160
3. A study of the recursiveness and authenticity of signature functions in non standard models of the arithmetic
   
   Dokl. Akad. Nauk SSSR, 262:6 (1982),  1325–1328