Add to ORKG© 2017, Pleiades Publishing, Ltd.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 L ∑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 η-like linear order L are bounded then there is a 0’-limitwise monotonic function G with L = ∑q∈ℚG(q)
The concept of a monotone operator — which covers both linear positive semi-definite operators and s...
We say that L is weakly η-like if L/∼ is isomorphic to the natural ordering of rational numbers. We ...
We completely describe ranges of η-functions of η-like linear orderings without computable presentat...
© 2017, Pleiades Publishing, Ltd.We find new sufficient conditions for the existence of a 0’-limitwi...
© 2018 Elsevier B.V. In this paper, we prove Kierstead's conjecture for linear orders whose order ty...
In this paper, we describe the technique of extremely monotonic functions in the theory of computabl...
© 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. We extend the limitwise monotonicity notion to th...
We develop an approach to the longstanding conjecture of H.A. Kierstead concerning the character of ...
© 2014, Pleiades Publishing, Ltd. In this paper we generalize the theorem that previously obtained b...
It is proved that each strongly η-representable degree contains a set that is a range of values for ...
© 2014, Pleiades Publishing, Ltd. In the paper we study the maximal and minimal objects under Σ-redu...
© 2020 Cambridge University Press. All rights reserved. We characterize the linear order types with ...
In this paper, we study effective monotonic approximations of sets and sequences of sets. We show th...
An introduction contains the short methodological agreement on symbols and on terms, on concepts and...
We build an ℵ1-categorical but not ℵ0-categorical theory whose only computably presentable model is ...
The concept of a monotone operator — which covers both linear positive semi-definite operators and s...
We say that L is weakly η-like if L/∼ is isomorphic to the natural ordering of rational numbers. We ...
We completely describe ranges of η-functions of η-like linear orderings without computable presentat...
© 2017, Pleiades Publishing, Ltd.We find new sufficient conditions for the existence of a 0’-limitwi...
© 2018 Elsevier B.V. In this paper, we prove Kierstead's conjecture for linear orders whose order ty...
In this paper, we describe the technique of extremely monotonic functions in the theory of computabl...
© 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. We extend the limitwise monotonicity notion to th...
We develop an approach to the longstanding conjecture of H.A. Kierstead concerning the character of ...
© 2014, Pleiades Publishing, Ltd. In this paper we generalize the theorem that previously obtained b...
It is proved that each strongly η-representable degree contains a set that is a range of values for ...
© 2014, Pleiades Publishing, Ltd. In the paper we study the maximal and minimal objects under Σ-redu...
© 2020 Cambridge University Press. All rights reserved. We characterize the linear order types with ...
In this paper, we study effective monotonic approximations of sets and sequences of sets. We show th...
An introduction contains the short methodological agreement on symbols and on terms, on concepts and...
We build an ℵ1-categorical but not ℵ0-categorical theory whose only computably presentable model is ...
The concept of a monotone operator — which covers both linear positive semi-definite operators and s...
We say that L is weakly η-like if L/∼ is isomorphic to the natural ordering of rational numbers. We ...
We completely describe ranges of η-functions of η-like linear orderings without computable presentat...