Третья Всероссийская научная конференция "Омские научные чтения-2019" - Математика

Об аксиоматизируемости и разрешимости универсальной теории финитарных матроидов

Ильев А. В., Ильев В. П.

Аннотация

В работе средствами логики первого порядка изучается класс финитарных матроидов. Рассмотрены проблемы аксиоматизируемости и разрешимости его универсальной теории. Показана аксиоматизируемость класса финитарных матроидов разбиений. Доказана неаксиоматизируемость класса всех финитарных матроидов. Доказана разрешимость универсальной теории финитарных матроидов.

Комментарии

Комментарии отсутствуют

Вопросы по докладу

Вопросы отсутствуют