Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
3 октября 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
 


О фрагментах арифметики Пеано с бескванторной схемой индукции

Константин Ковалёв

Московский физико-технический институт (государственный университет), г. Долгопрудный, Московская обл.
Видеозаписи:
MP4 1,896.7 Mb
MP4 3,501.7 Mb

Количество просмотров:
Эта страница:145
Видеофайлы:36



Аннотация: В декабре 2021 г. Харви Фридман [1] сформулировал несколько вопросов, касающихся теории IOpen (расширения арифметики Робинсона Q схемой индукции по бескванторным формулам) и некоторых её фрагментов. Фридман рассматривал следующие теории:
I(lit): Q + индукция по атомарным формулам и их отрицаниям (литералам);
I(=): Q + индукция по формулам вида s = t, для любых термов s,t;
I(not =), I(<=) определяются аналогично.
Вот некоторые из поставленных задач:
1) Верно ли, что IOpen строго содержит I(lit)?
2) Какие отношения включения выполнены между сформулированными выше теориями?
3) Какие интересные математические теоремы могут быть эквивалентны I(lit) над Q?
Мы докажем, что ответ на первый вопрос отрицательный, установим практически все отношения из второго вопроса и докажем, что I(lit) не является конечно аксиоматизируемой теорией (что указывает на отсутствие ожидаемого ответа на вопрос из п. 3). Также мы рассмотрим некоторые другие вопросы, связанные с этими теориями.
[1] H. Friedman. 919: Proof theory of arithmetic/2. FOM posting, 12 Dec. 2021.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024