Corpus ID: 210919982

A note on the diamond operator

@article{Westrick2020ANO,
  title={A note on the diamond operator},
  author={Linda Brown Westrick},
  journal={arXiv: Logic},
  year={2020}
}
  • Linda Brown Westrick
  • Published 2020
  • Mathematics
  • arXiv: Logic
  • 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

    References

    Publications referenced by this paper.
    SHOWING 1-5 OF 5 REFERENCES

    On the algebraic structure of Weihrauch degrees

    and Carl G . Jockusch , Jr . On notions of computability - theoretic reduction between Π 12 principles

    • Denis R. Hirschfeldt
    • J . Math . Log .
    • 2016