Cylindrification
In computability theory a cylindrification is a construction that associates a cylindric numbering to each numbering. The concept was first introduced by Yuri L. Ershov in 1973.
Definition
Given a numbering, the cylindrification is defined aswhere is the Cantor pairing function.
Note that the cylindrification operation increases the input arity by 1.
Properties
- Given two numberings and then