RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Video Library
Archive
Most viewed videos

Search
RSS
New in collection





You may need the following programs to see the files






Workshop on Proof Theory, Modal Logic and Reflection Principles
October 18, 2017 17:15, Moscow, Steklov Mathematical Institute
 


Prolongable satisfaction classes and iterations of uniform reflection over $\mathrm{PA}$

M. Łełyk
Video records:
MP4 1,190.9 Mb
MP4 326.3 Mb

Number of views:
This page:38
Video files:14

M. Łełyk


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

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

Abstract: We study nonstandard models of iterations of uniform reflection over $\mathrm{PA}$ that contain a partial inductive satisfaction class. Our original motivation was to prove an analogue of the Enayat and Visser theorem that each partial inductive satisfaction class can be prolonged in an end-extension to a full satisfaction class (proved independently and unpublished) in the case of the $\Delta_0$ inductive satisfaction class.
To achieve our goal we introduced the notion of a prolongable satisfaction class: in words a class $S$ on $M$ is prolongable if there exists an elementary end extension $N$ of $M$ and a partial inductive satisfaction class $S'$ on $N$ which “covers” $M$ and prolongs $S$. $S$ is $n$-prolongable if this can be repeated $n$-times starting from $S$.
It turned out that the existence of an $n$-prolongable partial inductive satisfaction class characterizes the models of $n$-iterated uniform reflection over $\mathrm{PA}$ ($\mathrm{UR}^n (\mathrm{PA})$):
Theorem 1. For a nonstandard model $M \vDash \mathrm{PA}$ having a partial inductive satisfaction class $S$ the following are equivalent
  • $M \vDash \mathrm{UR}^n (\mathrm{PA})$
  • $S$ can be restricted to an $n$-prolongable satisfaction class.
As a limit we obtain our desired theorem:
Theorem 2. For a nonstandard model $M \vDash \mathrm{PA}$ having a partial inductive satisfaction class $S$ the following are equivalent
  • $M \vDash \mathrm{UR}^{\omega} (\mathrm{PA})$
  • There exist a restriction $S'$ of $S$, an elementary end extension $N$ of $M$ and a full $\Delta_0$ inductive satisfaction class $S"$ on $N$ such that $S' \subseteq S"$.
Our methods consist in internalizing the standard existence arguments for partial inductive satisfaction classes. Moreover, Theorem 2, provides a new proof of conservativity of the theory $\mathrm{CT}_0$ over $\mathrm{UR}^{\omega} (\mathrm{PA})$ (the first was presented in [1]).

Language: English

References
  1. H. Kotlarski, “Bounded induction and satisfaction classes”, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 32:31–34 (1986), 531–544  zmath  scopus


SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017