|
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”, 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: | 390 | Russian version PDF: | 101 | English version PDF: | 20 | References: | 49 | First page: | 3 |
|