Game characterizations and lower cones in the Weihrauch degrees

zbMath1484.03098arXiv1511.03693MaRDI QIDQ5228881

Publication date: 13 August 2019

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

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