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

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





Для просмотра файлов Вам могут потребоваться






Научная сессия МИАН, посвященная подведению итогов 2016 года
16 ноября 2016 г. 14:15, г. Москва, конференц-зал МИАН (ул. Губкина, 8)
 


Линейные $GLP$-алгебры и их элементарные теории

Ф. Н. Пахомов
Видеозаписи:
MP4 503.6 Mb
MP4 127.7 Mb

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

Ф. Н. Пахомов
Фотогалерея


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

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

Аннотация: Получен ответ на вопрос о том, разрешима ли элементарная теория порожденной константами 0 и 1 свободной алгебры, соответствующей известной полимодальной логике доказуемости $GLP$. Этот вопрос был сформулирован в 2006 году в обзорной статье Л. Д. Беклемишева и А. Виссера. Рассматриваемая алгебра играет важную роль в исследовании арифметических теорий с точки зрения их ординальных характеристик, поэтому изучение ее алгоритмических свойств представляет значительный интерес. Полученный результат говорит о том, что существует алгоритм для распознавания истинности любой заданной формулы языка первого порядка в алгебре с конечным числом модальностей. Для доказательства алгоритмической разрешимости логических теорий обычно применяется сведение исследуемой теории к одному из классов теорий, разрешимость которых уже известна. В данном случае вопрос об алгоритмической разрешимости не сводится очевидным образом ни к одному из известных классов теорий. Для доказательства развита оригинальная техника, опирающаяся на общее понятие “линейности” $GLP$-алгебр.

Статьи по теме:

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