A note on the diamond operator
Copyright policy )A note on the diamond operator
We show that if [Formula: see text] and [Formula: see text], then [Formula: see text], where ⋆ and ◇ are the following operations in the Weihrauch lattice: ⋆ is the compositional product, which allows the use of two principles in sequence, while the diamond operator ◇ allows an arbitrary but finite number of uses of the given principle in sequence. This answers a question of Pauly.
- Pennsylvania State University United States
03D30, 03F60, FOS: Mathematics, Other degrees and reducibilities in computability and recursion theory, compositional product, weihrauch lattice, recursion theorem, Mathematics - Logic, Logic (math.LO), diamond operator
03D30, 03F60, FOS: Mathematics, Other degrees and reducibilities in computability and recursion theory, compositional product, weihrauch lattice, recursion theorem, Mathematics - Logic, Logic (math.LO), diamond operator
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).6 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 10% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Top 10%
Citations provided by BIP!Popularity provided by BIP!