Partial Decidable Presentations in Hyperarithmetic Научная публикация
| Журнал |
Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260 |
||||||
|---|---|---|---|---|---|---|---|
| Вых. Данные | Год: 2019, Том: 60, Номер: 3, Страницы: 464-471 Страниц : 8 DOI: 10.1134/S0037446619030091 | ||||||
| Ключевые слова | computable numbering; computable set; computably enumerable set; constructible admissible set; decidable numbering; e-reducibility; hyperarithmetic set; numbering; positive numbering | ||||||
| Авторы |
|
||||||
| Организации |
|
Реферат:
We study the problem of the existence of decidable and positive Π11- and Σ11-numberings of the families of Π11- and Σ11-cones with respect to inclusion. Some laws are found that reflect the presence of decidable computable Π11- and Σ11-numberings of these families in dependence on the analytical complexity of the set defining a cone. © 2019, Pleiades Publishing, Inc.
Библиографическая ссылка:
Kalimullin I.S.
, Puzarenko V.G.
, Faizrahmanov M.K.
Partial Decidable Presentations in Hyperarithmetic
Siberian Mathematical Journal. 2019. V.60. N3. P.464-471. DOI: 10.1134/S0037446619030091 WOS Scopus OpenAlex
Partial Decidable Presentations in Hyperarithmetic
Siberian Mathematical Journal. 2019. V.60. N3. P.464-471. DOI: 10.1134/S0037446619030091 WOS Scopus OpenAlex
Оригинальная:
Калимуллин И.Ш.
, Пузаренко В.Г.
, Файзрахманов М.Х.
Частичные разрешимые представления в гиперарифметике
Сибирский математический журнал. 2019. Т.60. №3. С.599-609. DOI: 10.33048/smzh.2019.60.309 OpenAlex
Частичные разрешимые представления в гиперарифметике
Сибирский математический журнал. 2019. Т.60. №3. С.599-609. DOI: 10.33048/smzh.2019.60.309 OpenAlex
Идентификаторы БД:
| Web of science: | WOS:000471617300009 |
| Scopus: | 2-s2.0-85067297474 |
| OpenAlex: | W2952286598 |