DOI

We systematically compare ω -Boolean classes and Wadge classes, e.g. we complement the result of W. Wadge that the collection of non-self-dual levels of his hierarchy coincides with the collection of classes generated by Borel ω -ary Boolean operations from the open sets in the Baire space. Namely, we characterize the operations, which generate any given level in this way, in terms of the Wadge hierarchy in the Scott domain. As a corollary we deduce the non-collapse of the latter hierarchy. Also, the effective version of this topic is developed.
Язык оригиналаанглийский
Название основной публикацииRevolutions and Revelations in Computability
Страницы287-298
Число страниц12
DOI
СостояниеОпубликовано - 1 янв 2022
Событиеcomputability in europe-2022 -
Продолжительность: 11 июл 2022 → …

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ИздательSpringer Nature
Том13359
ISSN (печатное издание)0302-9743

конференция

конференцияcomputability in europe-2022
Период11/07/22 → …

ID: 126983989