Аннотация:
В обзоре обсуждается теория предполных нумераций, которые часто встречаются в ряде разделов теории вычислимости. Предполные нумерации тесно связаны с различными вариантами теоремы о неподвижной точке, играющей важную методологическую роль. В ряде случаев этот подход позволяет заменить громоздкие доказательства, связанные с так называемым методом приоритета, изящными и простыми применениями этой теоремы. В некотором смысле статья охватывает часть теории вычислимости, в которой можно обойтись элементарными методами.
Образец цитирования:
В. Л. Селиванов, “Предполные нумерации”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 106–134; J. Math. Sci. (N. Y.), 256:1 (2021), 96–124
\RBibitem{Sel18}
\by В.~Л.~Селиванов
\paper Предполные нумерации
\inbook Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета
\serial Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз.
\yr 2018
\vol 157
\pages 106--134
\publ ВИНИТИ РАН
\publaddr М.
\mathnet{http://mi.mathnet.ru/into409}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3940085}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2021
\vol 256
\issue 1
\pages 96--124
\crossref{https://doi.org/10.1007/s10958-021-05422-2}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/into409
https://www.mathnet.ru/rus/into/v157/p106
Эта публикация цитируется в следующих 4 статьяx:
Marat Faizrahmanov, “Some properties of precompletely and positively numbered sets”, Annals of Pure and Applied Logic, 176:2 (2025), 103523
Serikzhan A. Badaev, Nikolay A. Bazhenov, Birzhan S. Kalmurzayev, Manat Mustafa, “On diagonal functions for equivalence relations”, Arch. Math. Logic, 63:3-4 (2024), 259
Marat Faizrahmanov, “Fixed point theorems for minimal numberings”, Journal of Logic and Computation, 2023
Marat Faizrahmanov, “Extremal numberings and fixed point theorems”, Mathematical Logic Qtrly, 68:4 (2022), 398
Цитирование в формате AMSBIB
Обратная связь: