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

Авторы

  • Артем Ильев Институт математики им. С.Л. Соболева СО РАН
  • Виктор Ильев Омский государственный университет им. Ф.М. Достоевского

Ключевые слова:

аксиоматизируемость, финитарный матроид, универсальная теория, разрешимость.

Аннотация

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

Загрузки

Опубликован

2020-10-26

Выпуск

Том 17 (2020)

Раздел

МАТЕМАТИЧЕСКАЯ ЛОГИКА, АЛГЕБРА И ТЕОРИЯ ЧИСЕЛ