# Algebras of Distributions of Binary Isolating Formulas for Quite o-Minimal Theories

D. Yu Emel’yanov, B. Sh Kulpeshov, S. V. Sudoplatov

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

4 Цитирования (Scopus)

## Аннотация

Algebras of distributions of binary isolating formulas over a type for quite o-minimal theories with nonmaximal number of countable models are described. It is proved that an isomorphism of these algebras for two 1-types is characterized by the coincidence of convexity ranks and also by simultaneous satisfaction of isolation, quasirationality, or irrationality of those types. It is shown that for quite o-minimal theories with nonmaximum many countable models, every algebra of distributions of binary isolating formulas over a pair of nonweakly orthogonal types is a generalized commutative monoid.

Язык оригинала английский 429-444 16 Algebra and Logic 57 6 https://doi.org/10.1007/s10469-019-09515-5 Опубликовано - 15 янв 2019

## Fingerprint

Подробные сведения о темах исследования «Algebras of Distributions of Binary Isolating Formulas for Quite o-Minimal Theories». Вместе они формируют уникальный семантический отпечаток (fingerprint).