Laboratory of Mathematical Logic at PDMI

Пятница, 21 ноября, комната 106. Начало в 19:00.

Докладчик: В. Моргенштерн.

Тема: Стандартные классы, обладающие свойством конечной модели.

Abstract

Класс формул исчисления предикатов обладает свойством конечной модели, если для любой его выполнимой формулы можно построить конечную модель, на которой эта формула выполняется. В докладе разбираются классические классы, обладающие этим свойством и обсуждается их сложность.

Доклад по книге Borger, Gradel, Gurevich "The Classical Decision Problem".