Variations on Wadge Reducibility Extended Abstract

Wadge reducibility in the Baire and Cantor spaces is very important in descriptive set theory. We consider Wadge reducibility in so called @f-spaces which are topological counterpart of the algebraic directed-complete partial orderings. It turns out that in many spaces the Wadge reducibility behaves worse than in the classical case but there exist also interesting examples of spaces with a better behaviour.

[1]  V. L. Selivanov,et al.  Difference Hierarchy in ϕ-Spaces , 2004 .

[2]  Andrej Bauer,et al.  The realizability approach to computable analysis and topology , 2000 .

[3]  A. Kechris.  Classical descriptive set theory , 1987 .

[4]  V. L. Selivanov.  Classifying countable Boolean terms , 2005 .

[5]  Klaus Weihrauch,et al.  Computable Analysis: An Introduction , 2014, Texts in Theoretical Computer Science. An EATCS Series.

[6]  A. Tang.  Chain Properties in P omega , 1979, Theor. Comput. Sci..

[7]  Klaus Weihrauch,et al.  Computable Analysis , 2005, CiE.

[8]  V. Selivanov.  Boolean Hierarchies of Partitions over a Reducible Base , 2004 .

[9]  Jacques Duparc,et al.  Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank , 2001, Journal of Symbolic Logic.

[10]  V. L. Selivanov.  Index sets in the hyperarithmetical hierarchy , 1984 .

[11]  V. L. Selivanov,et al.  Structure of powers of generalized index sets , 1982 .

[12]  K. Hofmann,et al.  Continuous Lattices and Domains , 2003 .

[13]  William W. Wadge,et al.  Reducibility and Determinateness on the Baire Space , 1982 .

[14]  V. L. Selivanov.  Structures of the degrees of unsolvability of index sets , 1979 .

[15]  Yuri Leonidovich Ershov,et al.  Theory of Domains and Nearby (Invited Paper) , 1993, Formal Methods in Programming and Their Applications.

[16]  Robert van Wesep,et al.  Wadge Degrees and Projective Ordinals: The Cabal Seminar, Volume II: Wadge degrees and descriptive set theory , 1978 .

[17]  A. Tang,et al.  Wadge reducibility and Hausdorff difference hierarchy in Pω , 1981 .

[18]  William W. Wadge,et al.  Degrees of complexity of subsets of the baire space , 1972 .

[19]  Victor L. Selivanov,et al.  Fine hierarchies and Boolean terms , 1995, Journal of Symbolic Logic.

[20]  Peter Hertling,et al.  Unstetigkeitsgrade von Funktionen in der effektiven Analysis , 1996 .