Невыразимость: автоморфизмы и эллиминация кванторов

Среда, 02 ноября 2011, 18:30–19:50
ПОМИ РАН

Описание

Невыразимость: метод автоморфизмов. Элиминация кванторов. Простейшие примеры. Задача о разрезании квадрата на меньшие квадраты.