Back to Search
Start Over
Algebras of Binary Formulas for Compositions of Theories.
- Source :
-
Algebra & Logic . 2020, Vol. 59 Issue 4, p295-312. 18p. - Publication Year :
- 2020
-
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. [ABSTRACT FROM AUTHOR]
- Subjects :
- *ALGEBRA
*LINEAR orderings
*MATHEMATICAL equivalence
*BASICITY
*CYCLIC groups
Subjects
Details
- Language :
- English
- ISSN :
- 00025232
- Volume :
- 59
- Issue :
- 4
- Database :
- Academic Search Index
- Journal :
- Algebra & Logic
- Publication Type :
- Academic Journal
- Accession number :
- 147299121
- Full Text :
- https://doi.org/10.1007/s10469-020-09602-y