# A note on the diamond operator

@article{Westrick2020ANO, title={A note on the diamond operator}, author={Linda Brown Westrick}, journal={arXiv: Logic}, year={2020} }

We show that if $1 \leq_W F$ and $F \star F \leq_W F$, then $F^\diamond \leq_W F$, where $\star$ and $\diamond$ are the following operations in the Weihrauch lattice: $\star$ is the compositional product, which allows the use of two principles in sequence, while the diamond operator $\diamond$ allows an arbitrary but finite number of uses of the given principle in sequence. This answers a question of Pauly.

#### Citations

##### Publications citing this paper.

SHOWING 1-2 OF 2 CITATIONS

## Degrees of incomputability, realizability and constructive reverse mathematics

VIEW 4 EXCERPTS

CITES BACKGROUND

HIGHLY INFLUENCED

## Reduction games, provability, and compactness

VIEW 1 EXCERPT

CITES BACKGROUND

#### References

##### Publications referenced by this paper.

SHOWING 1-5 OF 5 REFERENCES