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

Конференция	Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан. 16-22 апр. 2024 , Алматы
Сборник	Традиционная международная апрельская математическая конференция в честь Дня науки Республики Казахстан Сборник, ИМММ МНВО РК. Алма-Ата.2024. 263 c.
Вых. Данные	Год: 2024, Страницы: 221–222 Страниц : 2
Ключевые слова	алгебраическая система, наследственный класс, универсальная теория, универсальная аксиоматизируемость, разрешимость
Авторы	Ильев А.В. 1
Организации	1 Омский филиал ФГБУН «Институт математики им. С.Л. Соболева СО РАН».

Информация о финансировании (1)

1

Омский филиал ФГБУН «Институт математики им. С.Л. Соболева СО РАН».

FWNF-2022-0003