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

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

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


Вестн. Томск. гос. ун-та. Матем. и мех.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Вестник Томского государственного университета. Математика и механика, 2015, номер 3(35), страницы 12–17
DOI: https://doi.org/10.17223/19988621/35/2 (Mi vtgu456) 		 
МАТЕМАТИКА

Достаточные условия существования неразрешимых косвенно рефлексивных предложений

В. М. Зюзьков

Томский государственный университет
PDF полного текста (411 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17223/19988621/35/2
Аннотация: Изучаются косвенно рефлексивные предложения в арифметике Пеано (в предположении, что данная теория $\omega$-непротиворечива), говорящие о доказуемости или опровержимости. Доказываются достаточные условия существования неразрешимых косвенно рефлексивных предложений.
Ключевые слова: арифметика Пеано, косвенная рефлексия, неразрешимые предложения.
Статья поступила: 14.03.2015
Реферативные базы данных:
Тип публикации: Статья
УДК: 519.95
Образец цитирования: В. М. Зюзьков, “Достаточные условия существования неразрешимых косвенно рефлексивных предложений”, Вестн. Томск. гос. ун-та. Матем. и мех., 2015, № 3(35), 12–17
Цитирование в формате AMSBIB
\RBibitem{Zyu15}
\by В.~М.~Зюзьков
\paper Достаточные условия существования неразрешимых косвенно рефлексивных предложений
\jour Вестн. Томск. гос. ун-та. Матем. и мех.
\yr 2015
\issue 3(35)
\pages 12--17
\mathnet{http://mi.mathnet.ru/vtgu456}
\crossref{https://doi.org/10.17223/19988621/35/2}
\elib{https://elibrary.ru/item.asp?id=23735481}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vtgu456
  • https://www.mathnet.ru/rus/vtgu/y2015/i3/p12
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Вестник Томского государственного университета. Математика и механика
    Статистика просмотров:
    Страница аннотации:113
    PDF полного текста:37
    Список литературы:33
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024