Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Workshop on Proof Theory, Modal Logic and Reflection Principles
18 октября 2017 г. 16:40–17:15, Москва, Математический институт им. В.А. Стеклова РАН
 


Models of the compositional truth theory with bounded induction

B. Wcisło
Видеозаписи:
MP4 812.1 Mb
MP4 222.5 Mb

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

B. Wcisło


Видео не загружается в Ваш браузер:
  1. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  2. Сообщите администратору портала о данной ошибке

Аннотация: In [1], it has been shown that $\mathrm{CT}_0$, a compositional truth theory with $\Delta_0$-induction for the truth predicate, is not conservative over Peano Arithmetic. Subsequently, Mateusz Łełyk has shown that this theory proves the principle of first-order closure which states that the set of true sentences is closed under derivations in first-order logic.
We show how the original proof combined with the refined result by Łełyk shows that in every model $\mathrm{M}$ of $\mathrm{CT}_0$, the truth predicate may be presented as a sum of the predicates $\mathrm{T_c}$ which satisfy full induction scheme and compositional axioms for sentences of logical complexity at most c (i.e., with the syntactic tree of height at most $\mathrm{c}$). The observation that the original argument of nonconservativeness of $\mathrm{CT}_0$ yields this model-theoretic corollary is due to Ali Enayat.
Using standard arguments, one can show that the theory $\mathrm{CT}_0$ is arithmetically strictly weaker than $\mathrm{CT}$, its counterpart with full induction. In particular, there exist models of $\mathrm{PA}$ which admit an expansion to a model of $\mathrm{CT}_0$ but do not admit an expansion to a model of $\mathrm{CT}$. In such models, there exists a family of compatible fully inductive truth predicates which are compositional for sentences of arbitrarily high logical complexity, but there is no truth predicate which is fully inductive and compositional for all sentences.
The above result is closely related to a problem in the theory of models of Peano Arithmetic which asks whether the existence of inductive satisfaction classes compositional for $\Sigma_{\mathrm{c}}$ sentences for all c implies existence of a fully inductive satisfaction class.

Язык доклада: английский

Список литературы
  1. M. Łełyk, B. Wcisło, “Notes on bounded induction for the compositional truth predicate”, The Review of Symbolic Logic, 10:3 (2017), 455–480  crossref  mathscinet  zmath  scopus


ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021