|
Сибирские электронные математические известия, 2023, том 20, выпуск 1, страницы 1–16 DOI: https://doi.org/10.33048/semi.2023.20.001
(Mi semr1565)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Математическая логика, алгебра и теория чисел
A note on joins and meets for positive linear preorders
N. Bazhenova, B. Kalmurzayevbac, M. Zubkovad a Sobolev Institute of Mathematics, 4 Acad. Koptyug Avenue, 630090, Novosibirsk, Russia
b Kazakh-British Technical University, 59 Tole bi St., 050000, Almaty, Kazakhstan
c Al-Farabi Kazakh National University, 71 Al Farabi Avenue, 050040, Almaty, Kazakhstan
d Kazan (Volga Region) Federal University, 35 Kremlevskaya St., 420008, Kazan, Russia
DOI:
https://doi.org/10.33048/semi.2023.20.001
Аннотация:
A positive preorder $R$ is linear if the corresponding quotient poset is linearly ordered. Following the recent advances in the studies of positive preorders, the paper investigates the degree structure Celps of positive linear preorders under computable reducibility. We prove that if a positive linear preorder $L$ is non-universal and the quotient poset of $L$ is infinite, then $L$ is a part of an infinite antichain inside Celps.
For a pair $L,R$ from Celps, we obtain sufficient conditions for when the pair has neither join, nor meet (with respect to computable reducibility). We give an example of a pair from Celps that has a meet. Inside the substructure $\Omega$ of Celps containing only computable linear orders of order-type $\omega$, we build a pair that has a join inside $\Omega$.
Ключевые слова:
computable reducibility, computably enumerable preorder, positive linear preorder.
Поступила 20 июня 2022 г., опубликована 23 января 2023 г.
Образец цитирования:
N. Bazhenov, B. Kalmurzayev, M. Zubkov, “A note on joins and meets for positive linear preorders”, Сиб. электрон. матем. изв., 20:1 (2023), 1–16
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr1565 https://www.mathnet.ru/rus/semr/v20/i1/p1
|
|