Электронный архив

Some Properties of the Upper Semilattice of Computable Families of Computably Enumerable Sets

Показать сокращенную информацию

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


Файлы в этом документе

Данный элемент включен в следующие коллекции

  • Публикации сотрудников КФУ Scopus [24551]
    Коллекция содержит публикации сотрудников Казанского федерального (до 2010 года Казанского государственного) университета, проиндексированные в БД Scopus, начиная с 1970г.

Показать сокращенную информацию

Поиск в электронном архиве


Расширенный поиск

Просмотр

Моя учетная запись

Статистика