RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2017 Volume 58, Number 1, Pages 107–121 (Mi smj2845)

This article is cited 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.

UDC: 510.53+512.562

MSC: 35R30

Received: 19.02.2016

DOI: 10.17377/smzh.2017.58.112


 English version:
Siberian Mathematical Journal, 2017, 58:1, 80–90

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025