On One Laura Mayer’s Theorem

2025

Полный текст Открытый доступ: Gold Метаданные (CSL-JSON)
DOI 10.3390/sym17101641
Достоверность данных 70 средняя
Как считается эта оценка

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

Аннотация

The article’s primary focus is on the study of the number of countable non-isomorphic models of linearly ordered theories. The orthogonality of 1-types and their convex closures is employed to analyse a class of theories with a specific type of monotonic non-orthogonality, which includes weakly o-minimal theories. For such theories, a theorem analogous to L. Mayer’s result on the independence of any pairwise independent family of 1-types in o-minimal theories is proven. The article provides conditions for the infinity and maximality of the countable spectrum of weakly o-minimal theories.