Об аксиоматизируемости и разрешимости универсальной теории финитарных матроидов Научная публикация
| Конференция |
Третья Всероссийская научная конференция "Омские научные чтения – 2019" 02-06 дек. 2019 , Омск |
||||
|---|---|---|---|---|---|
| Сборник | Омские научные чтения – 2019 : материалы Третьей Всероссийской научной конференции (Омск, 2-6 декабря 2019 г.) Сборник, Изд-во Ом. гос. ун-та. Омск.2019. 1021 c. ISBN 978-5-7779-2435-3. |
||||
| Вых. Данные | Год: 2019, Страницы: 907–908 Страниц : 2 | ||||
| Ключевые слова | аксиоматизируемость, универсальная теория, разрешимость, финитарный матроид | ||||
| Авторы |
|
||||
| Организации |
|
Реферат:
В работе средствами логики первого порядка изучается класс финитарных матроидов. Рассмотрены проблемы аксиоматизируемости и разрешимости его универсальной теории. Показана аксиоматизируемость класса финитарных матроидов разбиений. Доказана неаксиоматизируемость класса всех финитарных матроидов. Доказана разрешимость универсальной теории финитарных матроидов.
Библиографическая ссылка:
Ильев А.В.
, Ильев В.П.
Об аксиоматизируемости и разрешимости универсальной теории финитарных матроидов
В сборнике Омские научные чтения – 2019 : материалы Третьей Всероссийской научной конференции (Омск, 2-6 декабря 2019 г.). – Изд-во Ом. гос. ун-та., 2019. – C.907–908. – ISBN 978-5-7779-2435-3.
Об аксиоматизируемости и разрешимости универсальной теории финитарных матроидов
В сборнике Омские научные чтения – 2019 : материалы Третьей Всероссийской научной конференции (Омск, 2-6 декабря 2019 г.). – Изд-во Ом. гос. ун-та., 2019. – C.907–908. – ISBN 978-5-7779-2435-3.
Идентификаторы БД:
Нет идентификаторов
Цитирование в БД:
Пока нет цитирований