Non-collapse of the Effective Wadge Hierarchy

We study the recently suggested effective Wadge hierarchy in effective spaces, concentrating on the non-collapse property. Along with hierarchies of sets, we study hierarchies of k-partitions which are interesting on their own. In particular, we establish sufficient conditions for the non-collapse of the effective Wadge hierarchy and apply them to some concrete spaces.

[1]  Armin Hemmerling,et al.  The Hausdorff-Ershov Hierarchy in Euclidean Spaces , 2006, Arch. Math. Log..

[2]  Victor L. Selivanov,et al.  Fine hierarchies and m-reducibilities in theoretical computer science , 2008, Theor. Comput. Sci..

[3]  R. Schindler.  Descriptive Set Theory , 2014 .

[4]  Vasco Brattka.  Effective Borel measurability and reducibility of functions , 2005, Math. Log. Q..

[5]  Samson Abramsky,et al.  Domain theory , 1995, LICS 1995.

[6]  Matthew de Brecht.  Quasi-Polish spaces , 2011, Ann. Pure Appl. Log..

[7]  Victor Selivanov.  Q-Wadge degrees as free structures , 2020, Comput..

[8]  S. Shelah,et al.  Annals of Pure and Applied Logic , 1991 .

[9]  Victor Selivanov.  Effective Wadge Hierarchy in Computable Quasi-Polish Spaces , 2021, Sibirskie Elektronnye Matematicheskie Izvestiya.

[10]  Y. Moschovakis.  Descriptive Set Theory , 1980 .

[11]  A. Louveau,et al.  Recursivity and compactness , 1978 .

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

[13]  Takayuki Kihara,et al.  On the structure of the Wadge degrees of bqo-valued Borel functions , 2019, Transactions of the American Mathematical Society.

[14]  Takayuki Kihara,et al.  The uniform Martin’s conjecture for many-one degrees , 2016, Transactions of the American Mathematical Society.

[15]  Verónica Becher,et al.  Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization , 2013, Mathematical Structures in Computer Science.

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

[17]  Victor L. Selivanov.  Towards the Effective Descriptive Set Theory , 2015, CiE.

[18]  V. L. Selivanov.  Hierearchies of hyperarithmetical sets and functions , 1983 .

[19]  Victor L. Selivanov,et al.  Fine hierarchies via Priestley duality , 2012, Ann. Pure Appl. Log..

[20]  Arno Pauly,et al.  Overt choice , 2019, Comput..

[21]  Yann Pequignot,et al.  A Wadge hierarchy for second countable spaces , 2015, Arch. Math. Log..

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

[23]  Victor L. Selivanov,et al.  Towards a descriptive theory of cb0-spaces , 2014, Mathematical Structures in Computer Science.

[24]  D. C. Cooper,et al.  Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.

[25]  V. Selivanov.  A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES , 2019, The Journal of Symbolic Logic.

[26]  Mathieu Hoyrup,et al.  Computability on Quasi-Polish Spaces , 2019, DCFS.