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

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






Спецкурс "Доказуемость и формальная арифметика"
29 сентября 2020 г. 14:30, Москва, online на платформе Zoom
 


Лекция 2. Слабые фрагменты арифметики Пеано и их модели

Л. Д. Беклемишев
Видеозаписи:
MP4 263.2 Mb

Количество просмотров:
Эта страница:189
Видеофайлы:58
Youtube Video:

Л. Д. Беклемишев


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



Аннотация: Дискретно упорядоченные коммутативные кольца и их неотрицательные части. Теория $PA^-$ и выводимость её аксиом в арифметика Пеано. Модели слабых фрагментов арифметики: добавление бесконечно большого элемента (модель слабых аксиом порядка), определение сложения и умножения. Нестандартная модель $PA^-$ на основе неотрицательной части кольца ${\mathbb Z}[X]$. Пример арифметического предложения, выводимого в PA, но ложного в этой модели. Модель $PA^-$, в которой ложна теорема об иррациональности корня из двух.

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