We develop an approach to the longstanding conjecture of H.A. Kierstead concerning the character of strongly nontrivial automorphisms of computable linear orderings. Our main result is that for any -like computable linear ordering B, such that B has no interval of order type η, and such that the order type of B is determined by a ₀'-limitwise monotonic maximal block function, there exists computable L≅B such that L has no nontrivial Π⁰₁ automorphism
In this paper, we describe the technique of extremely monotonic functions in the theory of computabl...
We study computable linear orders with computable neighborhood and block predicates. In particular, ...
It is proved definability in FO+IFP of a global linear ordering on vertices of strongly extensional ...
We develop an approach to the longstanding conjecture of H.A. Kierstead concerning the character of ...
This document is made available in accordance with publisher policies. Please cite only the publishe...
© 2019 American Mathematical Society. We settle the long-standing Kierstead conjecture in the negati...
© 2018 Elsevier B.V. In this paper, we prove Kierstead's conjecture for linear orders whose order ty...
© 2017, Pleiades Publishing, Ltd.We find new sufficient conditions for the existence of a 0’-limitwi...
We consider the class of so-called k-quasidiscrete linear orderings, show that every k-quasi-discret...
We say that L is weakly η-like if L/∼ is isomorphic to the natural ordering of rational numbers. We ...
Abstract. We solve a longstanding question of Rosenstein, and make progress toward solving a long-st...
In this thesis, we study computable content of existing classical theorems on linearisations of part...
We prove that a nontrivial degree spectrum of the successor relation of either strongly η-like or no...
This paper generalizes results of F. Körner from [4] where she established the existence of maximal ...
© 2020 Cambridge University Press. All rights reserved. We characterize the linear order types with ...
In this paper, we describe the technique of extremely monotonic functions in the theory of computabl...
We study computable linear orders with computable neighborhood and block predicates. In particular, ...
It is proved definability in FO+IFP of a global linear ordering on vertices of strongly extensional ...
We develop an approach to the longstanding conjecture of H.A. Kierstead concerning the character of ...
This document is made available in accordance with publisher policies. Please cite only the publishe...
© 2019 American Mathematical Society. We settle the long-standing Kierstead conjecture in the negati...
© 2018 Elsevier B.V. In this paper, we prove Kierstead's conjecture for linear orders whose order ty...
© 2017, Pleiades Publishing, Ltd.We find new sufficient conditions for the existence of a 0’-limitwi...
We consider the class of so-called k-quasidiscrete linear orderings, show that every k-quasi-discret...
We say that L is weakly η-like if L/∼ is isomorphic to the natural ordering of rational numbers. We ...
Abstract. We solve a longstanding question of Rosenstein, and make progress toward solving a long-st...
In this thesis, we study computable content of existing classical theorems on linearisations of part...
We prove that a nontrivial degree spectrum of the successor relation of either strongly η-like or no...
This paper generalizes results of F. Körner from [4] where she established the existence of maximal ...
© 2020 Cambridge University Press. All rights reserved. We characterize the linear order types with ...
In this paper, we describe the technique of extremely monotonic functions in the theory of computabl...
We study computable linear orders with computable neighborhood and block predicates. In particular, ...
It is proved definability in FO+IFP of a global linear ordering on vertices of strongly extensional ...