Essential kinds of 1-types over sets of models of weakly o-minimal theories

2025

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

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

Аннотация

We explore the properties of 1-types over sets in weakly o-minimal theories. We introduce and analyze six essential classes of non-algebraic 1-types (isolated, quasirational, irrational, quasisolitary, solitary, and social), highlighting the ways in which these types capture key convexity behaviors and definability conditions. Building on parallels with classical o-minimal theories, we establish lemmas and propositions that illustrate how properties extend from the o-minimal to the weakly o-minimal context. In particular, we demonstrate that one-types in these theories can often be decomposed into finitely many convex subsets or cuts, thereby preserving important one-dimensional geometric intuitions.