Сибирские электронные математические известия
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Сиб. электрон. матем. изв.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Сибирские электронные математические известия, 2023, том 20, выпуск 1, страницы 1–16
DOI: https://doi.org/10.33048/semi.2023.20.001
(Mi semr1565)
 

Математическая логика, алгебра и теория чисел

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
Список литературы:
Аннотация: 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.
Финансовая поддержка Номер гранта
Министерство науки и высшего образования Российской Федерации 075-15-2022-281
Министерство образования и науки Республики Казахстан AP08856493
The work of the authors is supported by the Mathematical Center in Akademgorodok under the agreement No. 075-15-2022-281 with the Ministry of Science and Higher Education of the Russian Federation. N. Bazhenov and B. Kalmurzyev were supported by the Ministry of Education and Science of the Republic of Kazakhstan, grant AP08856493 “Positive graphs and computable reducibility on them as mathematical model of databases”.
Поступила 20 июня 2022 г., опубликована 23 января 2023 г.
Тип публикации: Статья
УДК: 510.5
MSC: 03C57, 03D30
Язык публикации: английский
Образец цитирования: N. Bazhenov, B. Kalmurzayev, M. Zubkov, “A note on joins and meets for positive linear preorders”, Сиб. электрон. матем. изв., 20:1 (2023), 1–16
Цитирование в формате AMSBIB
\RBibitem{BazKalZub23}
\by N.~Bazhenov, B.~Kalmurzayev, M.~Zubkov
\paper A note on joins and meets for positive linear preorders
\jour Сиб. электрон. матем. изв.
\yr 2023
\vol 20
\issue 1
\pages 1--16
\mathnet{http://mi.mathnet.ru/semr1565}
\crossref{https://doi.org/10.33048/semi.2023.20.001}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1565
  • https://www.mathnet.ru/rus/semr/v20/i1/p1
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:89
    PDF полного текста:31
    Список литературы:22
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024