Ранги и аппроксимации для семейств упорядоченных теорий

B. Sh. Kulpeshov, In. I. Pavlyuk, Sergey Vladimirovich Sudoplatov

2024

Достоверность данных 70 средняя

Как считается эта оценка

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

Аннотация

Описаны значения рангов для различных семейств упорядоченных теорий в зависимости от рассматриваемых сигнатур, дано описание $\mathrm{e}$-тотальной трансцендентности в терминах этих сигнатур. Исследованы аппроксимации упорядоченных теорий, включая аппроксимации конечными и счетно категоричными порядками. Изучены замыкания и описаны ранги для семейств упорядоченных теорий, включая семейства о-минимальных и слабо о-минимальных теорий различных сигнатур, а также теорий чистых линейных порядков с различными ограничениями на дискретные части. Библиография: 27 названий.