Game characterizations and lower cones in the Weihrauch degrees

zbMath1484.03098arXiv1511.03693MaRDI QIDQ5228881

Arno Pauly, Hugo Nobrega

Publication date: 13 August 2019

Full work available at URL: https://arxiv.org/abs/1511.03693

Mathematics Subject Classification ID

Descriptive set theory (03E15) Constructive and recursive analysis (03F60) Other degrees and reducibilities in computability and recursion theory (03D30) Computation over the reals, computable analysis (03D78)

Related Items (5)

The fixed-point property for represented spaces ⋮ THE DISCONTINUITY PROBLEM ⋮ Unnamed Item ⋮ SEARCHING FOR AN ANALOGUE OF ATR₀ IN THE WEIHRAUCH LATTICE ⋮ Weihrauch Complexity in Computable Analysis

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
• A Wadge hierarchy for second countable spaces
• How incomputable is the separable Hahn-Banach theorem?
• Recursively presented games and strategies
• Classical recursion theory. Vol. II
• Extended admissibility.
• A topological view on algebraic computation models
• Quasi-Polish spaces
• Game characterizations and lower cones in the Weihrauch degrees
• Probabilistic computability and choice
• Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank
• Relative computability and uniform continuity of relations
• Computability on the Countable Ordinals and the Hausdorff-Kuratowski Theorem (Extended Abstract)
• The Vitali Covering Theorem in the Weihrauch Lattice
• Game representations of classes of piecewise definable functions
• Weihrauch degrees, omniscience principles and weak computability
• Effective Choice and Boundedness Principles in Computable Analysis
• On the Foundations of Corecursion
• Weihrauch Degrees of Finding Equilibria in Sequential Games
• Borel-amenable reducibilities for sets of reals
• On the algebraic structure of Weihrauch degrees
• A comparison of concepts from computable analysis and effective descriptive set theory
• Descriptive Set Theory in the Category of Represented Spaces
• The degree structure of Weihrauch-reducibility
• Levels of discontinuity, limit-computability, and jump operators
• Hyperprojective Hierarchy of qcb0-Spaces
• A quasi-order on continuous functions
• Bad Wadge-like reducibilities on the Baire space
• Playing in the first Baire class
• On the topological aspects of the theory of represented spaces
• Wadge-like reducibilities on arbitrary quasi-Polish spaces
• Some hierarchies of QCB₀-spaces
• Point Degree Spectra of Represented Spaces

This page was built for publication: Game characterizations and lower cones in the Weihrauch degrees