Abstract
We show that if 1 â W F and F â F â W F, then F â- â W F, 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.
Original language | English (US) |
---|---|
Pages (from-to) | 107-110 |
Number of pages | 4 |
Journal | Computability |
Volume | 10 |
Issue number | 2 |
State | Published - 2021 |
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Computer Science Applications
- Computational Theory and Mathematics
- Artificial Intelligence