Abstract: Настоящая работа касается понятия слабой o-минимальности, первоначально исследованного в [1]. Слабо o-минимальной структурой называется линейно упорядоченная структура M = hM;=,<, . . .i, любое определимое (с параметрами) подмножество которой является объединением конечного числа выпуклых множеств в M. Напомним, что такая структура M называется o-минимальной, если каждое её определимое (с параметрами) подмножество является объединением конечного числа интервалов и точек из M. Таким образом, слабая o-минимальность обобщает понятие o-минимальности. Здесь мы исследуем алгебры распределений бинарных изолирующих формул [2, 3] для счётно категоричных слабо o-минимальных теорий. В работе даётся описание алгебр распределений бинарных изолирующих формул над типом для счётно категоричных слабо o-минимальных теорий (теор. 2.9), а также в терминах ранга выпуклости приводится характеризация обобщённой коммутативности алгебры распределений бинарных изолирующих формул над парой типов для счётно категоричных слабо o-минимальных теорий (теор. 3.16).

Cite: Емельянов Д.Ю. , Кулпешов Б.Ш. , Судоплатов С.В.
Алгебры распределений бинарных формул в счетно категоричных слабо о-минимальных структурах
Алгебра и логика. 2017. Т.56. №1. С.20-54. DOI: 10.17377/alglog.2017.56.102 РИНЦ

Translated: Emel’yanov D.Y. , Kulpeshov B.S. , Sudoplatov S.V.
Algebras of distributions for binary formulas in countably categorical weakly o-minimal structures
Algebra and Logic. 2017. V.56. N1. P.13-36. DOI: 10.1007/s10469-017-9424-y WOS Scopus OpenAlex

Dates:

Submitted:	Apr 3, 2015
Published print:	May 8, 2017
Published online:	May 8, 2017

Identifiers:

Elibrary:

29093886

Citing:

DB	Citing
Elibrary	10

Altmetrics: