RUS  ENG
Full version
JOURNALS // Bulletin of Irkutsk State University. Series Mathematics // Archive

Bulletin of Irkutsk State University. Series Mathematics, 2018 Volume 24, Pages 82–101 (Mi iigum340)

This article is cited in 3 papers

Combinations of structures

S. V. Sudoplatovabc

a Sobolev Institute of Mathematics, Novosibirsk, Russian Federation
b Novosibirsk State Technical University, Novosibirsk, Russian Federation
c Novosibirsk State University, Novosibirsk, Russian Federation

Abstract: We investigate combinations of structures by families of structures relative to families of unary predicates and equivalence relations. Conditions preserving $\omega$-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 $\omega$-categoricity for disjoint $P$-combinations means that there are finitely many indexes for new unary predicates and each structure in new unary predicate is either finite or $\omega$-categorical. Similarly, the theory of $E$-combination is $\omega$-categorical if and only if each given structure is either finite or $\omega$-categorical and the set of indexes is either finite, or it is infinite and $E_i$-classes do not approximate infinitely many $n$-types for $n\in\omega$. 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 $\omega$-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.

Keywords: combination of structures, $P$-combination, $E$-combination, $e$-spectrum.

UDC: 510.67

MSC: 03C30, 03C15, 03C50

Received: 19.04.2018

Language: English

DOI: 10.26516/1997-7670.2018.24.82



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025