Показать сокращенную информацию
dc.contributor.author | Faizrakhmanov M.K. | |
dc.date.accessioned | 2022-02-09T20:30:25Z | |
dc.date.available | 2022-02-09T20:30:25Z | |
dc.date.issued | 2021 | |
dc.identifier.issn | 0002-5232 | |
dc.identifier.uri | https://dspace.kpfu.ru/xmlui/handle/net/168621 | |
dc.description.abstract | We look at specific features of the algebraic structure of an upper semilattice of computable families of computably enumerable sets in Ω. It is proved that ideals of minuend and finite families of Ω coincide. We deal with the question whether there exist atoms and coatoms in the factor semilattice of Ω with respect to an ideal of finite families. Also we point out a sufficient condition for computable families to be complemented. | |
dc.relation.ispartofseries | Algebra and Logic | |
dc.subject | computable family | |
dc.subject | computable numbering | |
dc.subject | computably enumerable set | |
dc.subject | semilattice of computable families | |
dc.title | Some Properties of the Upper Semilattice of Computable Families of Computably Enumerable Sets | |
dc.type | Article | |
dc.relation.ispartofseries-issue | 2 | |
dc.relation.ispartofseries-volume | 60 | |
dc.collection | Публикации сотрудников КФУ | |
dc.relation.startpage | 128 | |
dc.source.id | SCOPUS00025232-2021-60-2-SID85115117934 |