Известия Академии наук СССР. Серия математическая
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Скоро в журнале
Архив
Импакт-фактор
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Изв. РАН. Сер. матем.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Известия Академии наук СССР. Серия математическая, 1977, том 41, выпуск 3, страницы 483–502 (Mi im1821)  
Эта публикация цитируется в 17 научных статьях (всего в 17 статьях)

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

В. Е. Плиско
PDF полного текста (1943 kB) PDF английской версии (893 kB) Список цитирования (17)
Список литературы:
PDF
HTML
Аннотация: Доказывается, что множество гёделевских номеров реализуемых предикатных формул не определимо в языке формальной арифметики.
Библиография: 13 названий.
Поступило в редакцию: 11.06.1976
Англоязычная версия:
Mathematics of the USSR-Izvestiya, 1977, Volume 11, Issue 3, Pages 453–471
DOI: https://doi.org/10.1070/IM1977v011n03ABEH001731
Реферативные базы данных:
УДК: 517.12
MSC: Primary 02E05, 02C15, 02F99, 10N99; Secondary 02B10, 02F43, 02H15
Образец цитирования: В. Е. Плиско, “Неарифметичность класса реализуемых предикатных формул”, Изв. АН СССР. Сер. матем., 41:3 (1977), 483–502; Math. USSR-Izv., 11:3 (1977), 453–471
Цитирование в формате AMSBIB
\RBibitem{Pli77}
\by В.~Е.~Плиско
\paper Неарифметичность класса реализуемых предикатных формул
\jour Изв. АН СССР. Сер. матем.
\yr 1977
\vol 41
\issue 3
\pages 483--502
\mathnet{http://mi.mathnet.ru/im1821}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=476469}
\zmath{https://zbmath.org/?q=an:0373.02032|0382.03043}
\transl
\jour Math. USSR-Izv.
\yr 1977
\vol 11
\issue 3
\pages 453--471
\crossref{https://doi.org/10.1070/IM1977v011n03ABEH001731}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/im1821
  • https://www.mathnet.ru/rus/im/v41/i3/p483
    • Эта публикация цитируется в следующих 17 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия Академии наук СССР. Серия математическая Izvestiya: Mathematics
    Статистика просмотров:
    Страница аннотации:387
    PDF русской версии:100
    PDF английской версии:18
    Список литературы:48
    Первая страница:3
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024