Non-Essential Expansions of Quite o-Minimal Theories

2024

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

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

Аннотация

Abstract We study constant expansions of quite o-minimal theories. We prove that any non-essential expansion (expansion by finitely many new constants) of a quite o-minimal Ehrenfeucht theory of finite convexity rank preserves Ehrenfeuchtness. We also establish that the countable spectrum of such an expanded theory is not decreased.