City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Завершающая лекция: case studies
Introduction to model theory


What: Lecture
When: Sunday, 20 October 2019, 15:30–17:00
Where: ПОМИ РАН
Slides: modal_logic_lecture_201019_4fO5be7.pdf

Description

Система \({\bf S}4.3\) и доказательство того, что эта логика является модальной логикой действительной прямой с нестрогим порядком

Введение в топологическую семантику модальной логики и теорема Маккинси-Тарского (без доказательства)

Логика \({\bf GL}\) и ее связь с доказуемостью в формальной арифметике, теорема Соловея (без доказательства)

Общий заключающий обзор

Video