|
|
|
Publications in Math-Net.Ru |
Citations |
|
1987 |
| 1. |
A. A. Tverskoi, “Nonconstructivizable formal arithmetic structures”, Izv. Akad. Nauk SSSR Ser. Mat., 51:1 (1987), 111–130    ; Math. USSR-Izv., 30:1 (1988), 103–122 |
|
1985 |
| 2. |
A. A. Tverskoi, “Constructivizable and non-constructivizable formal arithmetic structures”, Uspekhi Mat. Nauk, 40:6(246) (1985), 159–160 ; Russian Math. Surveys, 40:6 (1985), 145–146  |
|
1982 |
| 3. |
A. A. Tverskoi, “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 |
2
|
|
