RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия Российской академии наук. Серия математическая // Архив
Изв. АН СССР. Сер. матем., 1977, том 41, выпуск 3, страницы 483–502 (Mi im1821)
Эта публикация цитируется в 17 статьях

Неарифметичность класса реализуемых предикатных формул

В. Е. Плиско


Аннотация: Доказывается, что множество гёделевских номеров реализуемых предикатных формул не определимо в языке формальной арифметики.
Библиография: 13 названий.

УДК: 517.12

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

Поступило в редакцию: 11.06.1976


 Англоязычная версия: Mathematics of the USSR-Izvestiya, 1977, 11:3, 453–471

Реферативные базы данных:

© МИАН, 2024