|
This article is cited in 13 scientific papers (total in 13 papers)
Definability of linear orders over negative equivalences
N. Kh. Kasymova, A. S. Morozovbc a Ulugbek National University of Uzbekistan, Universitetskaya 4, Tashkent, 100174 Uzbekistan
b Sobolev Institute of Mathematics, pr. Akad. Koptyuga 4, Novosibirsk, 630090 Russia
c Novosibirsk State University, ul. Pirogova 2, Novosibirsk, 630090 Russia
Abstract:
We study linear orders definable over negative and positive equivalences and their computable automorphisms. Special attention is paid to equivalences like $\eta(\alpha)=\alpha^2\cup\mathrm{id}_\omega$, $\alpha\subseteq\omega$. In particular, we describe orders that have negative presentations over such equivalences for co-enumerable sets $\alpha$. Presentable and nonpresentable order types are exemplified for equivalences with various extra properties. We also give examples of negative orders with computable automorphisms whose inverses are not computable.
Keywords:
linear order, negative equivalence, computable automorphism.
Received: 12.11.2014 Revised: 18.05.2015
Citation:
N. Kh. Kasymov, A. S. Morozov, “Definability of linear orders over negative equivalences”, Algebra Logika, 55:1 (2016), 37–57; Algebra and Logic, 55:1 (2016), 24–37
Linking options:
https://www.mathnet.ru/eng/al728 https://www.mathnet.ru/eng/al/v55/i1/p37
|
Statistics & downloads: |
Abstract page: | 341 | Full-text PDF : | 97 | References: | 59 | First page: | 21 |
|