Standard

Algebras of Binary Formulas for Compositions of Theories. / Emel’yanov, D. Yu; Kulpeshov, B. Sh; Sudoplatov, S. V.

In: Algebra and Logic, Vol. 59, No. 4, 09.2020, p. 295-312.

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

Harvard

Emel’yanov, DY, Kulpeshov, BS & Sudoplatov, SV 2020, 'Algebras of Binary Formulas for Compositions of Theories', Algebra and Logic, vol. 59, no. 4, pp. 295-312. https://doi.org/10.1007/s10469-020-09602-y

APA

Emel’yanov, D. Y., Kulpeshov, B. S., & Sudoplatov, S. V. (2020). Algebras of Binary Formulas for Compositions of Theories. Algebra and Logic, 59(4), 295-312. https://doi.org/10.1007/s10469-020-09602-y

Vancouver

Emel’yanov DY, Kulpeshov BS, Sudoplatov SV. Algebras of Binary Formulas for Compositions of Theories. Algebra and Logic. 2020 Sept;59(4):295-312. doi: 10.1007/s10469-020-09602-y

Author

Emel’yanov, D. Yu ; Kulpeshov, B. Sh ; Sudoplatov, S. V. / Algebras of Binary Formulas for Compositions of Theories. In: Algebra and Logic. 2020 ; Vol. 59, No. 4. pp. 295-312.

BibTeX

@article{985703d52b1a47489ac11c0b50fa7c46,
title = "Algebras of Binary Formulas for Compositions of Theories",
abstract = "We consider algebras of binary formulas for compositions of theories both in the general case and as applied to ℵ0-categorical, strongly minimal, and stable theories, linear preorders, cyclic preorders, and series of finite structures. It is shown that edefinable compositions preserve isomorphisms and elementary equivalence and have basicity formed by basic formulas of the initial theories. We find criteria for e-definable compositions to preserve ℵ0-categoricity, strong minimality, and stability. It is stated that e-definable compositions of theories specify compositions of algebras of binary formulas. A description of forms of these algebras is given relative to compositions with linear orders, cyclic orders, and series of finite structures.",
keywords = "algebra of binary formulas, composition of theories, cyclic preorder, e-definable composition, linear preorder, stable theory, strongly minimal theory, ℵ- categorical theory, ISOLATING FORMULAS, DISTRIBUTIONS, N-0-categorical theory",
author = "Emel{\textquoteright}yanov, {D. Yu} and Kulpeshov, {B. Sh} and Sudoplatov, {S. V.}",
note = "Publisher Copyright: {\textcopyright} 2020, Springer Science+Business Media, LLC, part of Springer Nature. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.",
year = "2020",
month = sep,
doi = "10.1007/s10469-020-09602-y",
language = "English",
volume = "59",
pages = "295--312",
journal = "Algebra and Logic",
issn = "0002-5232",
publisher = "Springer US",
number = "4",

}

RIS

TY - JOUR

T1 - Algebras of Binary Formulas for Compositions of Theories

AU - Emel’yanov, D. Yu

AU - Kulpeshov, B. Sh

AU - Sudoplatov, S. V.

N1 - Publisher Copyright: © 2020, Springer Science+Business Media, LLC, part of Springer Nature. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.

PY - 2020/9

Y1 - 2020/9

N2 - We consider algebras of binary formulas for compositions of theories both in the general case and as applied to ℵ0-categorical, strongly minimal, and stable theories, linear preorders, cyclic preorders, and series of finite structures. It is shown that edefinable compositions preserve isomorphisms and elementary equivalence and have basicity formed by basic formulas of the initial theories. We find criteria for e-definable compositions to preserve ℵ0-categoricity, strong minimality, and stability. It is stated that e-definable compositions of theories specify compositions of algebras of binary formulas. A description of forms of these algebras is given relative to compositions with linear orders, cyclic orders, and series of finite structures.

AB - We consider algebras of binary formulas for compositions of theories both in the general case and as applied to ℵ0-categorical, strongly minimal, and stable theories, linear preorders, cyclic preorders, and series of finite structures. It is shown that edefinable compositions preserve isomorphisms and elementary equivalence and have basicity formed by basic formulas of the initial theories. We find criteria for e-definable compositions to preserve ℵ0-categoricity, strong minimality, and stability. It is stated that e-definable compositions of theories specify compositions of algebras of binary formulas. A description of forms of these algebras is given relative to compositions with linear orders, cyclic orders, and series of finite structures.

KW - algebra of binary formulas

KW - composition of theories

KW - cyclic preorder

KW - e-definable composition

KW - linear preorder

KW - stable theory

KW - strongly minimal theory

KW - ℵ- categorical theory

KW - ISOLATING FORMULAS

KW - DISTRIBUTIONS

KW - N-0-categorical theory

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

U2 - 10.1007/s10469-020-09602-y

DO - 10.1007/s10469-020-09602-y

M3 - Article

AN - SCOPUS:85096555179

VL - 59

SP - 295

EP - 312

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 4

ER -

ID: 26136381