We discuss some applications of WQOs to several fields were hierarchies and reducibilities are the principal classification tools, notably to Descriptive Set Theory, Computability theory and Automata Theory. While the classical hierarchies of sets usually degenerate to structures very close to ordinals, the extension of them to functions requires more complicated WQOs, and the same applies to reducibilities. We survey some results obtained so far and discuss open problems and possible research directions.
Original languageEnglish
Title of host publicationWell-Quasi Orders in Computation, Logic, Language and Reasoning
Pages271-319
Number of pages49
Volume53
DOIs
StatePublished - 1 Jan 2020

Publication series

NameTrends in Logic
Volume53

    Research areas

  • Better quasiorder, Borel hierarchy, Fine hierarchy, h-Quasiorder, Hausdorff hierarchy, k-Partition, Labeled tree, Quasi-polish space, Reducibility, Wadge hierarchy, Well quasiorder

ID: 126991333