Об аксиоматизируемости и разрешимости универсальной теории финитарных матроидов Full article
| Conference |
Третья Всероссийская научная конференция "Омские научные чтения – 2019" 02-06 Dec 2019 , Омск |
||||
|---|---|---|---|---|---|
| Source | Омские научные чтения – 2019 : материалы Третьей Всероссийской научной конференции (Омск, 2-6 декабря 2019 г.) Compilation, Изд-во Ом. гос. ун-та. Омск.2019. 1021 c. ISBN 978-5-7779-2435-3. |
||||
| Output data | Year: 2019, Pages: 907–908 Pages count : 2 | ||||
| Tags | аксиоматизируемость, универсальная теория, разрешимость, финитарный матроид | ||||
| Authors |
|
||||
| Affiliations |
|
Abstract:
В работе средствами логики первого порядка изучается класс финитарных матроидов. Рассмотрены проблемы аксиоматизируемости и разрешимости его универсальной теории. Показана аксиоматизируемость класса финитарных матроидов разбиений. Доказана неаксиоматизируемость класса всех финитарных матроидов. Доказана разрешимость универсальной теории финитарных матроидов.
Cite:
Ильев А.В.
, Ильев В.П.
Об аксиоматизируемости и разрешимости универсальной теории финитарных матроидов
In compilation Омские научные чтения – 2019 : материалы Третьей Всероссийской научной конференции (Омск, 2-6 декабря 2019 г.). – Изд-во Ом. гос. ун-та., 2019. – C.907–908. – ISBN 978-5-7779-2435-3.
Об аксиоматизируемости и разрешимости универсальной теории финитарных матроидов
In compilation Омские научные чтения – 2019 : материалы Третьей Всероссийской научной конференции (Омск, 2-6 декабря 2019 г.). – Изд-во Ом. гос. ун-та., 2019. – C.907–908. – ISBN 978-5-7779-2435-3.
Identifiers:
No identifiers
Citing:
Пока нет цитирований