Combinations of structures

S. V. Sudoplatov

The Bulletin of Irkutsk State University. Series Mathematics, Tome 24 (2018), pp. 82-101

Résumé

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.

Détail

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

Bibliographie

[1] Andrews U., “Separable models of randomizations”, J. Symbolic Logic, 80:4 (2015), 1149–1181 | DOI | MR | Zbl

[2] Baldwin J. T., Plotkin J. M., “A topology for the space of countable models of a first order theory”, Zeitshrift Math. Logik and Grundlagen der Math., 20:8–12 (1974), 173–178 | DOI | Zbl

[3] Bankston P., “Ulptraproducts in topology”, General Topology and its Applications, 7:3 (1977), 283–308 | Zbl

[4] Bankston P., “A survey of ultraproduct constructions in general topology”, Topology Atlas Invited Contributions, 8:2 (2003), 1–32

[5] Benda M., “Remarks on countable models”, Fund. Math., 81:2 (1974), 107–119 | DOI | MR | Zbl

[6] Henkin L., “Relativization with respect to formulas and its use in proofs of independence”, Composito Mathematica, 20 (1968), 88–106 | Zbl

[7] Newelski L., “Topological dynamics of definable group actions”, J. Symbolic Logic, 74:1 (2009), 50–72 | DOI | MR | Zbl

[8] Pillay A., “Topological dynamics and definable groups”, J. Symbolic Logic, 78:2 (2013), 657–666 | DOI | MR | Zbl

[9] Sudoplatov S. V., “Transitive arrangements of algebraic systems”, Siberian Math. J., 40:6 (1999), 1142–1145 | DOI | MR | Zbl

[10] Sudoplatov S. V., “Inessential combinations and colorings of models”, Siberian Math. J., 44:5 (2003), 883–890 | DOI | MR | Zbl

[11] Sudoplatov S. V., “Powerful digraphs”, Siberian Math. J., 48:1 (2007), 165–171 | DOI | MR | Zbl

[12] Sudoplatov S. V., Classification of Countable Models of Complete Theories, NSTU Publ., Novosibirsk, 2018 (in Russian)

[13] Vaught R., “Denumerable models of complete theories”, Infinistic Methods, Pergamon, L., 1961, 303–321

[14] Woodrow R. E., Theories with a finite number of countable models and a small language, Ph. D. Thesis, Simon Fraser University, 1976, 99 pp.