A note on the diamond operator

DOI10.3233/COM-200295OpenAlexW3105030062MaRDI QIDQ4995605

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

diamond operatorrecursion theoremcompositional productweihrauch lattice

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

Related Items (4)

Reduction games, provability and compactness ⋮ Algebraic properties of the first-order part of a problem ⋮ On the complexity of learning programs ⋮ Lawvere-Tierney topologies for computability theorists

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

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