Об аксиоматизируемости класса финитарных матроидов и разрешимости их универсальной теории Full article
| Journal |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2020, Volume: 17, Pages: 1730–1740 Pages count : 11 DOI: 10.33048/semi.2020.17.118 | ||||
| Tags | axiomatizability, finitary matroid, universal theory, decidability. | ||||
| Authors |
|
||||
| Affiliations |
|
Funding (1)
| 1 | Омский филиал ФГБУН «Институт математики им. С.Л. Соболева СО РАН». | 0314-2019-0004 |
Abstract:
In the paper, finitary matroids are studied by means of the model theory. It is shown that the class of finitary matroids is nonaxiomatizable. Decidability of the universal theory of this class is proved.
Cite:
Ильев А.В.
, Ильев В.П.
Об аксиоматизируемости класса финитарных матроидов и разрешимости их универсальной теории
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2020. Т.17. С.1730–1740. DOI: 10.33048/semi.2020.17.118 WOS Scopus OpenAlex
Об аксиоматизируемости класса финитарных матроидов и разрешимости их универсальной теории
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2020. Т.17. С.1730–1740. DOI: 10.33048/semi.2020.17.118 WOS Scopus OpenAlex
Dates:
| Submitted: | Feb 17, 2020 |
| Published print: | Oct 26, 2020 |
Identifiers:
| Web of science: | WOS:000583298400001 |
| Scopus: | 2-s2.0-85187148046 |
| OpenAlex: | W3117356761 |
Citing:
| DB | Citing |
|---|---|
| Web of science | 1 |