Abstract: The study and description of possibilities of expansions and restrictions of structures and their theories is used to obtain a structural information both in general and for various natural algebraic, geometric, ordered theories and models. The origins for the description are based on known model-theoretic operations of Morleyzation, or Atomization, and Skolemization, allowing to preserve or naturally extend formulaically definable sets of a given structure, and obtain a level of quantifier elimination, where formulaically definable sets are represented as Boolean combinations of definable sets specified by quantifier-free formulae. The operations of Shelahizations, or Namizations, produce both extensions and expansions of a structure giving names or labels for definable sets. In the paper, we introduce and study some general principles and hierarchical properties of expansions and restrictions of structures and their theories. These principles are based on upper and lower cones, lattices, and permutations. The general approach is applied to describe these properties for classes of-categorical theories and structures, Ehrenfeucht theories and their models, strongly minimal, 1-categorical, and stable ones. Here all these classes are closed under permutations. It is proved that any fusions of strongly minimal structures are strongly minimal, too, whereas the properties of-categoricity, Ehrenfeuchtness, 1-categoricity, and stability can fail under fusions. It is also shown that the classes of-categorical, strongly minimal and stable regular structures are closed under lower cones of all their elements, whereas the classes of Ehrenfeucht and 1-categorical structures do not have that property, with some infinite chains of expansions alternating Ehrenfeuchtness and non-Ehrenfeuchtness, and other infinite chains alternating 1-categoricity and non-1-categoricity.

Cite: Sudoplatov S.V.
Expansions and restrictions of structures and theories, their hierarchies
Известия Иркутского государственного университета. Серия: Математика (Bulletin of Irkutsk State University. Series Mathematics). 2025. V.54. P.143-159. DOI: 10.26516/1997-7670.2025.54.143 WOS Scopus

Dates:

Submitted:	Feb 7, 2025
Accepted:	Apr 7, 2025
Published print:	Dec 3, 2025
Published online:	Dec 3, 2025

Identifiers:

Web of science:	WOS:001633320600010
Scopus:	2-s2.0-105023712921

Citing: Пока нет цитирований

Altmetrics: