This is a survey of results about versions of fine hierarchies and many-one reducibilities that appear in different parts of theoretical computer science. These notions and related techniques play a crucial role in understanding complexity of finite and infinite computations. We try not only to present the corresponding notions and facts from the particular fields but also to identify the unifying notions, techniques and ideas. © 2008 Elsevier B.V. All rights reserved.
Original languageEnglish
Pages (from-to)116-163
Number of pages48
JournalTheoretical Computer Science
Volume405
Issue number1-2
DOIs
StatePublished - 6 Oct 2008

    Research areas

  • ω-language, Alternating tree, Automaton, Baire domain, Baire space, Boolean term, Complexity, Computability, Difference hierarchy, Fine hierarchy, Hierarchy, k-partition, Language, Logic, m-reducibility, Topology

ID: 127087737