Mergeable represented spaces

DOI10.1007/978-3-032-31348-5_31MaRDI QIDQ7411987zbMATH OpenFDO

Authors Arno Pauly

Publication date 2027

Full work available at URL https://doi.org/10.1007/978-3-032-31348-5_31

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Closed choice and a uniform low basis theorem
• Completion of choice
• Computably discrete represented spaces
• Descriptive set theory in the category of represented spaces
• Feasible real random access machines
• Finite choice, convex choice and finding roots
• Game characterizations and lower cones in the Weihrauch degrees
• scientific article; zbMATH DE number 1390024 (Why is no real title available?)
• Joins in the strong Weihrauch degrees
• New Computational Paradigms
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• Projection operators in the Weihrauch lattice
• Sequential discontinuity and first-order problems
• The fixed-point property for represented spaces
• Weihrauch Complexity in Computable Analysis
• Weihrauch goes Brouwerian

This page was built for publication: Mergeable represented spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7411987)