Silindrifikatsiya - Cylindrification

Yilda hisoblash nazariyasi a silindrifikatsiya a-ni bog'laydigan qurilishdir silindrli raqamlash har biriga raqamlash. Kontseptsiya birinchi tomonidan kiritilgan Yuriy L. Ershov 1973 yilda.

Ta'rif

Nomerlash berilgan ${ displaystyle nu}$ The silindrifikatsiya ${ displaystyle c ( nu)}$ sifatida belgilanadi

${ displaystyle mathrm {Domain} (c ( nu)): = { langle n, k rangle | n in mathrm {Domain} ( nu) }}$

${ displaystyle c ( nu) langle n, k rangle: = nu (i)}$

qayerda ${ displaystyle langle n, k rangle}$ bo'ladi Kantorni juftlashtirish funktsiyasi.Silindrifikatsiya operatsiyasi k aritasini kiritish sifatida munosabatni qabul qiladi va k + 1 o'rtadagi munosabatini chiqaradi: K arlik R munosabati berilgan bo'lsa, uning c (R) bilan belgilangan silindrifikatsiyasi quyidagi to'plamdir {(a1 ,. .., ak, a) | (a1, ..., ak) R ga, a esa A} ga tegishli. E'tibor bering, silindrifikatsiya operatsiyasi kirish maydonini 1 ga oshiradi.

Xususiyatlari

• Ikkala raqam berilgan ${ displaystyle nu}$ va ${ displaystyle mu}$ keyin ${ displaystyle nu leq mu Leftrightarrow c ( nu) leq _ {1} c ( mu)}$
• ${ displaystyle nu leq _ {1} c ( nu)}$

Adabiyotlar

• Yu. L. Ershov, "Theorie der Numerierungen I." Matematik logik und Grundlagen der Mathematik 19, 289-388 (1973).