RUS  ENG
Full version
JOURNALS // Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya // Archive
Izv. Akad. Nauk SSSR Ser. Mat., 1977 Volume 41, Issue 3, Pages 483–502 (Mi im1821)
This article is cited in 18 papers

The nonarithmeticity of the class of realizable predicate formulas

V. E. Plisko


Abstract: It is proved that the set of Gödel numbers of realizable predicate formulas is not definable in the language of formal arithmetic.
Bibliography: 13 titles.

UDC: 517.12

MSC: Primary 02E05, 02C15, 02F99, 10N99; Secondary 02B10, 02F43, 02H15

Received: 11.06.1976


 English version: Mathematics of the USSR-Izvestiya, 1977, 11:3, 453–471

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026