Combinations of structures

S. V. Sudoplatov
2018 Известия Иркутского государственного университета: Серия "Математика"  
Иркутского государственного университета УДК 510.67 MSC 03C30, 03C15, 03C50 Abstract. We investigate combinations of structures by families of structures relative to families of unary predicates and equivalence relations. Conditions preserving ω-categoricity and Ehrenfeuchtness under these combinations are characterized. The notions of e-spectra are introduced and possibilities for e-spectra are described. It is shown that ω-categoricity for disjoint P -combinations means that there are
more » ... many indexes for new unary predicates and each structure in new unary predicate is either finite or ω-categorical. Similarly, the theory of E-combination is ω-categorical if and only if each given structure is either finite or ω-categorical and the set of indexes is either finite, or it is infinite and Ei-classes do not approximate infinitely many n-types for n ∈ ω. The theory of disjoint P -combination is Ehrenfeucht if and only if the set of indexes is finite, each given structure is either finite, or ω-categorical, or Ehrenfeucht, and some given structure is Ehrenfeucht. Variations of structures related to combinations and E-representability are considered. We introduce e-spectra for P -combinations and E-combinations, and show that these e-spectra can have arbitrary cardinalities. The property of Ehrenfeuchtness for E-combinations is characterized in terms of e-spectra.
doi:10.26516/1997-7670.2018.24.82 fatcat:uoam6x74affg5alxi3zwmtvw6u