Эта публикация цитируется в 1 статье

Алгебро-логические методы в информатике и искусственный интеллект

Non-orthogonality of 1-types in theories with a linear order

[Неортогональность 1-типов в теориях с линейным порядком]

Bektur Baizhanov^a, Olzhas Umbetbayev^ab, Tatyana Zambarnaya<sup>a

a</sup> Institute of Mathematics and Mathematical Modeling, Almaty, Kazakhstan
^b Kazakh-British Technical University, Almaty, Kazakhstan

Аннотация: Неортогональность полных типов является важным понятием для таких классов теорий первого порядка, как о-минимальные, слабо-о-минимальные и вполне о-минимальные теории. Это понятие используется при изучении счётного спектра таких теорий, поскольку ортогональность влияет на опускание и реализацию типов. Дальнейшее изучение гипотезы Воота для малых упорядоченных теорий требует использования связи между неполными типами, в частности выпуклыми замыканиями 1-типов. Вводятся два понятия неортогональности выпуклых неполных типов. Показаны связи между различными видами неортогональности. Доказаны теоремы о сохранении свойств типов при неортогональности.

Ключевые слова: линейный порядок, выпуклое замыкание, ортогональность (слабая и почти), определимый тип, квазирациональный тип.

УДК: 510.67

MSC: 03C64

Поступила в редакцию: 09.11.2024
Исправленный вариант: 14.04.2025
Принята в печать: 10.06.2025

Язык публикации: английский

DOI: 10.26516/1997-7670.2025.53.131