Ranks and Approximations for Families of Ordered Theories

2024

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

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

Аннотация

Rank values for various families of ordered theories are described as depending on the languages under consideration; a description of $$\mathrm{e}$$ -total transcendence in terms of these languages is also given. Approximations of ordered theories are studied, including approximations by finite and countably categorical orders. Closures are studied and ranks are described for families of ordered theories, including the families of o-minimal and weakly o-minimal theories of various signatures, as well as theories of pure linear orders with various constraints on the discrete parts.