Показать сокращенную информацию
dc.contributor.author | Zubkov M.V. | |
dc.contributor.author | Frolov A.N. | |
dc.date.accessioned | 2021-02-24T20:33:51Z | |
dc.date.available | 2021-02-24T20:33:51Z | |
dc.date.issued | 2020 | |
dc.identifier.issn | 0037-4466 | |
dc.identifier.uri | https://dspace.kpfu.ru/xmlui/handle/net/160917 | |
dc.description.abstract | © 2020, Pleiades Publishing, Ltd. We show the spectral universality of the class of structures that are linear orders with an additional binary relation and hence with an n-ary relation for each n ≥ 2. To this end, we study the category of the structures. We then obtain some other algorithmic properties of the category by using the notion of a computable functor which was studied in recent papers by other authors. | |
dc.relation.ispartofseries | Siberian Mathematical Journal | |
dc.subject | binary relation | |
dc.subject | computable linear order | |
dc.subject | spectral universality | |
dc.title | Spectral Universality of Linear Orders with One Binary Relation | |
dc.type | Article | |
dc.relation.ispartofseries-issue | 3 | |
dc.relation.ispartofseries-volume | 61 | |
dc.collection | Публикации сотрудников КФУ | |
dc.relation.startpage | 463 | |
dc.source.id | SCOPUS00374466-2020-61-3-SID85086341384 |