\(f_ A\)-spaces (Q1098843)

On the basis of the notion of f-space [\textit{Yu. L. Ershov}, Teorija numeracij, Nauka, Moskva (1977)] and the notion of admissible set [\textit{M. Makkai}, Handbook of Mathematical Logic, 233-281 (1977; Zbl 0443.03001)] the author defines a notion of \(f_ A\)-space using an enumeration of the basis of an f-space by a subset of an admissible set A. Defining the notion of complete \(f_ A\)-space the author shows that every \(f_ A\)-space can be completed. The category of \(f_ A\)-spaces (whose objects are \(f_ A\)-spaces, and morphisms are computable maps) is shown to be Cartesian closed under some natural conditions. Every computable automorphism of a complete \(f_ A\)-space has a least fixed point. The article contains also a series of other results.