Sufficient conditions for the existence of 0’-limitwise monotonic functions for computable η-like linear orders


Дәйексөз келтіру

Толық мәтін

Ашық рұқсат Ашық рұқсат
Рұқсат жабық Рұқсат берілді
Рұқсат жабық Тек жазылушылар үшін

Аннотация

We find new sufficient conditions for the existence of a 0’-limitwise monotonic function defining the order for a computable η-like linear order L, i.e., of a function G such that Lq∈ℚG(q). Namely, we define the notions of left local maximal block and right local maximal block and prove that if the sizes of these blocks in a computable η-like linear order L are bounded then there is a 0’-limitwise monotonic function G with L = ∑q∈ℚG(q).

Авторлар туралы

M. Zubkov

Kazan (Volga Region) Federal University

Хат алмасуға жауапты Автор.
Email: maxim.zubkov@kpfu.ru
Ресей, Kazan

Қосымша файлдар

Қосымша файлдар
Әрекет
1. JATS XML

© Pleiades Publishing, Ltd., 2017