A note on the diamond operator

DOI10.3233/COM-200295MaRDI QIDQ4995605zbMATH OpenOpenAlexFDO

Authors Linda Brown Westrick

Publication date 25 June 2021

Published in Computability (Search for Journal in Brave)

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

zbMATH Keywords

compositional productdiamond operatorrecursion theoremweihrauch lattice

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

Recommendations

• Weihrauch degrees, omniscience principles and weak computability
• Weihrauch degrees, omniscience principles and weak computability
• On the algebraic structure of Weihrauch degrees
• Ramsey's theorem and products in the Weihrauch degrees
• Stashing and parallelization pentagons

Cites work

• A topological view on algebraic computation models
• On notions of computability-theoretic reduction between Π21 principles
• On the algebraic structure of Weihrauch degrees

Cited in

(9)

• The Magidor function and diamond
• scientific article; zbMATH DE number 3851642 (Why is no real title available?)
• Stashing and parallelization pentagons
• Reduction games, provability and compactness
• Lawvere-Tierney topologies for computability theorists
• Algebraic properties of the first-order part of a problem
• On the complexity of learning programs
• Computing measure as a primitive operation in real number computation
• Weihrauch problems as containers

This page was built for publication: A note on the diamond operator

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