Top Qs
Timeline
Chat
Perspective

Cylindrification

Concept in computability theory, a field of mathematics From Wikipedia, the free encyclopedia

Remove ads

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

Summarize
Perspective

Given a numbering , the cylindrification is defined as

where is the Cantor pairing function.

Note that the cylindrification operation increases the input arity by 1.

Remove ads

Properties

  • Given two numberings and then
Remove ads

References

  • Yu. L. Ershov, "Theorie der Numerierungen I." Zeitschrift für mathematische Logik und Grundlagen der Mathematik 19, 289-388 (1973).
Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads