Аннотация:
Доказывается, что для любого ненулевого вычислимого ординала и произвольного его обозначения a существует Σ−1a-вычислимое семейство, не имеющее вычислимых минимальных нумераций.
Образец цитирования:
К. Ш. Абешев, С. А. Бадаев, М. Мустафа, “Семейства без минимальных нумераций”, Алгебра и логика, 53:4 (2014), 427–450; Algebra and Logic, 53:4 (2014), 271–286
\RBibitem{AbeBadMus14}
\by К.~Ш.~Абешев, С.~А.~Бадаев, М.~Мустафа
\paper Семейства без минимальных нумераций
\jour Алгебра и логика
\yr 2014
\vol 53
\issue 4
\pages 427--450
\mathnet{http://mi.mathnet.ru/al644}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3309848}
\transl
\jour Algebra and Logic
\yr 2014
\vol 53
\issue 4
\pages 271--286
\crossref{https://doi.org/10.1007/s10469-014-9290-9}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000345319700001}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84922074779}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al644
https://www.mathnet.ru/rus/al/v53/i4/p427
Эта публикация цитируется в следующих 7 статьяx:
D. D. Nurlanbek, “ON THE EXISTENCE OF UNIVERSAL NUMBERINGS”, jour, 20:1 (2023), 14
С. А. Бадаев, С. С. Гончаров, “Полурешётки Роджерса с наименьшим и наибольшим элементами в иерархии Ершова”, Алгебра и логика, 61:3 (2022), 334–340
S. A. Badaev, S. S. Goncharov, “Rogers Semilattices with Least and Greatest Elements in the Ershov Hierarchy”, Algebra Logic, 61:3 (2022), 225
С. С. Оспичев, “Фридберговы нумерации семейств частично вычислимых функционалов”, Сиб. электрон. матем. изв., 16 (2019), 331–339
Н. А. Баженов, Б. С. Калмурзаев, “Полурешетки Роджерса семейств отношений эквивалентности в иерархии Ершова”, Сиб. матем. журн., 60:2 (2019), 290–305; N. A. Bazhenov, B. S. Kalmurzaev, “Rogers semilattices for families of equivalence relations in the Ershov hierarchy”, Siberian Math. J., 60:2 (2019), 223–234
I. Herbert, S. Jain, S. Lempp, M. Mustafa, F. Stephan, “Reductions between types of numberings”, Ann. Pure Appl. Log., 170:12 (2019), UNSP 102716
С. С. Оспичев, “Вычислимые семейства множеств иерархии Ершова без главных нумераций”, Вестн. НГУ. Сер. матем., мех., информ., 15:1 (2015), 54–62; S. S. Ospichev, “Computable families of sets in Ershov hierarchy without principal numberings”, J. Math. Sci., 215:4 (2016), 529–536
Цитирование в формате AMSBIB
Обратная связь: