Positive Numberings in Admissible Sets

I. Sh Kalimullin; V. G. Puzarenko; M. Kh Faizrahmanov

doi:10.1134/S003744662003009X

Positive Numberings in Admissible Sets

I. Sh Kalimullin, V. G. Puzarenko, M. Kh Faizrahmanov

Кафедра систем информатики ФИТ

Результат исследования: Научные публикации в периодических изданиях › статья

Аннотация

We construct the example of an admissible set A such that there exists a positive computable A-numbering of the family of all A-c.e. sets, whereas any negative computable A-numberings are absent.

Язык оригинала	английский
Страницы (с-по)	478-489
Число страниц	12
Журнал	Siberian Mathematical Journal
Том	61
Номер выпуска	3
DOI	https://doi.org/10.1134/S003744662003009X
Состояние	Опубликовано - 1 мая 2020

Доступ к документу

10.1134/S003744662003009X

Link to publication in Scopus

Fingerprint Подробные сведения о темах исследования «Positive Numberings in Admissible Sets». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать

Kalimullin, I. S., Puzarenko, V. G., & Faizrahmanov, M. K. (2020). Positive Numberings in Admissible Sets. Siberian Mathematical Journal, 61(3), 478-489. https://doi.org/10.1134/S003744662003009X

@article{3725bc5bdd0e4622b96bef8e4756e697,

title = "Positive Numberings in Admissible Sets",

abstract = "We construct the example of an admissible set A such that there exists a positive computable A-numbering of the family of all A-c.e. sets, whereas any negative computable A-numberings are absent.",

keywords = "admissible set, computable numbering, computable set, computably enumerable set, decidable numbering, negative numbering, numbering, positive numbering",

author = "Kalimullin, {I. Sh} and Puzarenko, {V. G.} and Faizrahmanov, {M. Kh}",

year = "2020",

month = may,

day = "1",

doi = "10.1134/S003744662003009X",

language = "English",

volume = "61",

pages = "478--489",

journal = "Siberian Mathematical Journal",

issn = "0037-4466",

publisher = "MAIK NAUKA/INTERPERIODICA/SPRINGER",

number = "3",

}

TY - JOUR

T1 - Positive Numberings in Admissible Sets

AU - Kalimullin, I. Sh

AU - Puzarenko, V. G.

AU - Faizrahmanov, M. Kh

PY - 2020/5/1

Y1 - 2020/5/1

N2 - We construct the example of an admissible set A such that there exists a positive computable A-numbering of the family of all A-c.e. sets, whereas any negative computable A-numberings are absent.

AB - We construct the example of an admissible set A such that there exists a positive computable A-numbering of the family of all A-c.e. sets, whereas any negative computable A-numberings are absent.

KW - admissible set

KW - computable numbering

KW - computable set

KW - computably enumerable set

KW - decidable numbering

KW - negative numbering

KW - numbering

KW - positive numbering

UR - http://www.scopus.com/inward/record.url?scp=85086328461&partnerID=8YFLogxK

U2 - 10.1134/S003744662003009X

DO - 10.1134/S003744662003009X

M3 - Article

AN - SCOPUS:85086328461

VL - 61

SP - 478

EP - 489

JO - Siberian Mathematical Journal

JF - Siberian Mathematical Journal

SN - 0037-4466

IS - 3

ER -