Standard

Algebras of Distributions of Binary Isolating Formulas for Quite o-Minimal Theories. / Emel’yanov, D. Yu; Kulpeshov, B. Sh; Sudoplatov, S. V.

In: Algebra and Logic, Vol. 57, No. 6, 15.01.2019, p. 429-444.

Research output: Contribution to journal › Article › peer-review

Harvard

Emel’yanov, DY, Kulpeshov, BS & Sudoplatov, SV 2019, 'Algebras of Distributions of Binary Isolating Formulas for Quite o-Minimal Theories', Algebra and Logic, vol. 57, no. 6, pp. 429-444. https://doi.org/10.1007/s10469-019-09515-5

APA

Emel’yanov, D. Y., Kulpeshov, B. S., & Sudoplatov, S. V. (2019). Algebras of Distributions of Binary Isolating Formulas for Quite o-Minimal Theories. Algebra and Logic, 57(6), 429-444. https://doi.org/10.1007/s10469-019-09515-5

Vancouver

Emel’yanov DY, Kulpeshov BS, Sudoplatov SV. Algebras of Distributions of Binary Isolating Formulas for Quite o-Minimal Theories. Algebra and Logic. 2019 Jan 15;57(6):429-444. doi: 10.1007/s10469-019-09515-5

Author

Emel’yanov, D. Yu ; Kulpeshov, B. Sh ; Sudoplatov, S. V. / Algebras of Distributions of Binary Isolating Formulas for Quite o-Minimal Theories. In: Algebra and Logic. 2019 ; Vol. 57, No. 6. pp. 429-444.

BibTeX

@article{39f20c95a1e549c694dbd045244e8ff7,
title = "Algebras of Distributions of Binary Isolating Formulas for Quite o-Minimal Theories",
abstract = "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.",
keywords = "algebras of distributions of binary isolating formulas, convexity rank, countable model, generalized commutative monoid, quite o-minimal theory",
author = "Emel{\textquoteright}yanov, {D. Yu} and Kulpeshov, {B. Sh} and Sudoplatov, {S. V.}",
year = "2019",
month = jan,
day = "15",
doi = "10.1007/s10469-019-09515-5",
language = "English",
volume = "57",
pages = "429--444",
journal = "Algebra and Logic",
issn = "0002-5232",
publisher = "Springer US",
number = "6",

}

RIS

TY - JOUR

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

AU - Emel’yanov, D. Yu

AU - Kulpeshov, B. Sh

AU - Sudoplatov, S. V.

PY - 2019/1/15

Y1 - 2019/1/15

N2 - 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.

AB - 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.

KW - algebras of distributions of binary isolating formulas

KW - convexity rank

KW - countable model

KW - generalized commutative monoid

KW - quite o-minimal theory

UR - http://www.scopus.com/inward/record.url?scp=85063813692&partnerID=8YFLogxK

U2 - 10.1007/s10469-019-09515-5

DO - 10.1007/s10469-019-09515-5

M3 - Article

AN - SCOPUS:85063813692

VL - 57

SP - 429

EP - 444

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 6

ER -

ID: 19359039