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

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




Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
23 мая 2023 г. 18:30, г. Москва, Zoom
 


Non-linearities in the analytical hierarchy

J. P. Aguilera

Vienna, Gent, Hamburg
Видеозаписи:
MP4 203.2 Mb

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



Аннотация: It is commonly known that there exist true $\Pi^0_1$ sentences which are mutually independent over PA. The corresponding fact for $\Pi^1_1$ fails: for every pair of true $\Pi^1_1$ sentences $\phi,\psi$, one of them implies the other over ACA_0 + all true $\Sigma^1_1$ sentences. What about other classes, such as $\Pi^1_n$? We prove in ZFC + “there are infinitely many Woodin cardinals” that if $\Gamma$ = any of the classes $\Pi^1_{2n}$ or $\Sigma^1_{2n+1}$, then there are true $\Gamma$ sentences $\phi,\psi$ which are mutually independent over the theory ACA_0 + all true negations of $\Gamma$ sentences. This is joint work with F. Pakhomov.

Язык доклада: английский
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024