A universal partial recursive function (Q1814465)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A universal partial recursive function |
scientific article |
Statements
A universal partial recursive function (English)
0 references
25 June 1992
0 references
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.
0 references
creative set
0 references
universal partial recursive functions
0 references
cycles
0 references
splinters
0 references
