Invertible classes (Q2382282): Difference between revisions

The paper studies the problem of invertibility of recursive operators which map \({\mathcal F}\) to \({\mathcal F}\), where \({\mathcal F}\) is a class of functions. Four increasingly stronger types of invertibility are introduced and it is shown that they are different. The paper also studies the related issue of whether an enumeration of operators contains every function in a class \({\mathcal F}\), i.e., whether the enumeration covers \({\mathcal F}\). Three types of coverings are introduced and investigated.