A universal partial recursive function

From MaRDI portal





Universal partial recursive functions (UPRFs) of one argument are studied. Sufficient conditions ensuring that a partial recursive function is a UPRF are given. The structures of domain and range of a UPRF are investigated. The set of all its cycles of given length is shown to be creative. Recursively enumerable sets are characterized which are splinters or infinite cycles of UPRFs.











This page was built for publication: A universal partial recursive function

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1814465)