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.
Original languageEnglish
Title of host publicationRevolutions and Revelations in Computability
Pages287-298
Number of pages12
DOIs
StatePublished - 1 Jan 2022
Eventcomputability in europe-2022 -
Duration: 11 Jul 2022 → …

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Nature
Volume13359
ISSN (Print)0302-9743

Conference

Conferencecomputability in europe-2022
Period11/07/22 → …

    Research areas

  • Baire space, Cantor space, quasi-Polish space, Scott domain, Wadge hierarchy, ω -ary Boolean operation

ID: 126983989