|
This article is cited in 17 scientific papers (total in 17 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.
Received: 11.06.1976
Citation:
V. E. Plisko, “The nonarithmeticity of the class of realizable predicate formulas”, Izv. Akad. Nauk SSSR Ser. Mat., 41:3 (1977), 483–502; Math. USSR-Izv., 11:3 (1977), 453–471
Linking options:
https://www.mathnet.ru/eng/im1821https://doi.org/10.1070/IM1977v011n03ABEH001731 https://www.mathnet.ru/eng/im/v41/i3/p483
|
Statistics & downloads: |
Abstract page: | 386 | Russian version PDF: | 100 | English version PDF: | 18 | References: | 48 | First page: | 3 |
|