This is a survey of results in descriptive set theory for domains and similar spaces, with the emphasis on the ω-algebraic domains. We try to demonstrate that the subject is interesting in its own right and is closely related to some areas of theoretical computer science. Since the subject is still in its beginning, we discuss in detail several open questions and possible future development. We also mention some relevant facts of (effective) descriptive set theory. © 2006 Elsevier B.V. All rights reserved.
Original languageEnglish
Pages (from-to)258-282
Number of pages25
JournalTheoretical Computer Science
Volume365
Issue number3
DOIs
StatePublished - 12 Nov 2006

    Research areas

  • φ{symbol}-Space, ω-Boolean operation, Algebraic domain, Borel hierarchy, Difference hierarchy, Effective space, Polish space, Wadge reducibility

ID: 127139841