#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.

Семинар пройдет в среду 10 июня в 14:00.

Адрес:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.

Докладчик: С.М. Дудаков (ТвГУ, ВШЭ)

Название: Об определимости в 3-дереве

Аннотация.
Мы рассматриваем решётку определимости теории 3-дерева, то есть (бесконечного) неориентированного дерева, все вершины которого имеют степень 3. Единственным сигнатурным символом является двухместный предикат E, означающий наличие ребра. Рассматривается множество определимых в этой теории предикатов. Если предикат A может быть быть определён через предикат B, то предикат B можно рассматривать как «более выразительный». Это отношение «быть более выразительным» является предпорядком, поэтому профакторизовав его, мы получим отношение частичного порядка на классах предикатов, каждый из которых состоит из определимых друг через
друга предикатов.
Наш основной результат — для теории 3-дерева этот частичный порядок состоит всего из трёх элементов, соответствующих отношению равенства, отношению «находиться на расстоянии 2» и собственно отношению E, то есть исходному предикату.