Weihrauch Degrees, Omniscience Principles and Weak Computability

DOI10.4230/OASICS.CCA.2009.2261zbMath1247.03127OpenAlexW2293052602MaRDI QIDQ2917341

Vasco Brattka, Guido Gherardi

Publication date: 28 September 2012

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2009/2261/pdf/Brattka.2261.pdf

zbMATH Keywords

reverse mathematicscomputable analysisconstructive analysiseffective descriptive set theory

Mathematics Subject Classification ID

Descriptive set theory (03E15) Constructive and recursive analysis (03F60) Second- and higher-order arithmetic and fragments (03F35) Constructive functional analysis (46S30)

Related Items (3)

Completion of choice ⋮ Well-Quasi Orders and Hierarchy Theory ⋮ On the (semi)lattices induced by continuous reducibilities

This page was built for publication: Weihrauch Degrees, Omniscience Principles and Weak Computability