|
This article is cited in 8 scientific papers (total in 8 papers)
Sufficient conditions for the existence of $\mathbf0'$-limitwise monotonic functions for computable $\eta$-like linear orders
M. V. Zubkov Kazan (Volga Region) Federal University, Lobachevskiĭ Institute of Mathematics and Mechanics, Kazan, Russia
Abstract:
We find new sufficient conditions for the existence of a $\mathbf0'$-limitwise monotonic function defining the order for a computable $\eta$-like linear order $\mathscr L$, i.e., of a function $G$ such that $\mathscr L\cong\sum_{q\in\mathbb Q}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 $\eta$-like linear order $\mathscr L$ are bounded then there is a $\mathbf0'$-limitwise monotonic function $G$ with $\mathscr L\cong\sum_{q\in\mathbb Q}G(q)$.
Keywords:
computable linear order, $\eta$-like linear order, $\mathbf0'$–limitwise monotonic function.
Received: 19.02.2016
Citation:
M. V. Zubkov, “Sufficient conditions for the existence of $\mathbf0'$-limitwise monotonic functions for computable $\eta$-like linear orders”, Sibirsk. Mat. Zh., 58:1 (2017), 107–121; Siberian Math. J., 58:1 (2017), 80–90
Linking options:
https://www.mathnet.ru/eng/smj2845 https://www.mathnet.ru/eng/smj/v58/i1/p107
|
Statistics & downloads: |
Abstract page: | 220 | Full-text PDF : | 46 | References: | 49 | First page: | 5 |
|