Computable presentations of linear orders

2026

Закрытый доступ Метаданные (CSL-JSON)
DOI 10.1093/logcom/exag052
Достоверность данных 70 средняя
Как считается эта оценка

Складывается из проверяемых признаков самой записи: есть ли у статьи DOI, сколько независимых источников подтвердили её данные, заполнены ли обязательные поля и насколько свежо последнее подтверждение. Снижают оценку расхождения между источниками и отсутствие идентификатора. Значение от 80 означает, что запись опубликована без дополнительной проверки; от 60 до 79 — что она опубликована с пониженной достоверностью и ручная проверка желательна. Запись, выверенную редактором вручную, пересчёт не опускает ниже 90. Это оценка наших данных о статье, а не оценка самой статьи.

Аннотация

Abstract This article explores computable reducibility for presentations of computable linear orders. In particular, this paper investigates the degree structures $\mathbf{P}(\mathcal{L})$ consisting of the $c$-degrees of computable copies of a fixed linear order $\mathcal{L}$, where $\mathcal{L}$ is one of the following: $\omega \cdot k$, $\omega ^{2}$, $\omega +\omega ^{*}$, $\zeta $ or $\omega \cdot \eta $. The main objective is to identify structural differences between these posets, focusing on the existence of least degrees, minimal degrees, universal degrees, minimal covers and the possible number of such covers. Among the notable differences, the structure $\mathbf{P}(\zeta )$ contains degrees with a minimal cover that is not a strong minimal cover, a phenomenon that does not occur in $\mathbf{P}(\omega )$.