Аннотация:
Изучается вопрос о возможности “структурного” описания семейств, индексные множества которых лежат в данном классе гиперарифметической иерархии. Для решения этого вопроса в §1 определены естественные иерархии подмножеств любого нумерованного множества с аппроксимацией и изучены их общие свойства. В §2 изложено решение вопроса для всех достаточно высоких уровней гиперарифметической иерархии, а также “промежуточных” иерархий, построенных по типу иерархии Ершова. В §3, 4 тот же вопрос изучается для низких уровней. Показано, что в этом случае не получается простого структурного описания в терминах вполне перечислимых семейств.
Библ. 9.
Victor Selivanov, “Descriptive complexity of qcb0-spaces”, Theoretical Computer Science, 945 (2023), 113666
В. Л. Селиванов, “Предполные нумерации”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 106–134; V. L. Selivanov, “Precomplete numberings”, J. Math. Sci. (N. Y.), 256:1 (2021), 96–124
Mathieu Hoyrup, Cristóbal Rojas, “On the Information Carried by Programs About the Objects they Compute”, Theory Comput Syst, 61:4 (2017), 1214
Matthew de Brecht, “Quasi-Polish spaces”, Annals of Pure and Applied Logic, 164:3 (2013), 356
Victor L. Selivanov, “Towards a descriptive set theory for domain-like structures”, Theoretical Computer Science, 365:3 (2006), 258
В. Л. Селиванов, “Вариации на тему сводимости Вэджа”, Матем. тр., 8:1 (2005), 135–175; V. L. Selivanov, “Variations on the Wadge Reducibility”, Siberian Adv. Math., 15:3 (2005), 44–80
В. Л. Селиванов, “Разностная иерархия в φ-пространствах”, Алгебра и логика, 43:4 (2004), 425–444; V. L. Selivanov, “Difference Hierarchy in φ-Spaces”, Algebra and Logic, 43:3 (2004), 238–248
Douglas Cenzer, Jeffrey Remmel, “Index sets for Π01 classes”, Annals of Pure and Applied Logic, 93:1-3 (1998), 3