Elementary pairs of primitive normal theories. (Russian, English) Zbl 1115.03029

Algebra Logika 43, No. 3, 321-340 (2004); translation in Algebra Logic 43, No. 3, 179-189 (2004).
Summary: The main objective of the paper is proving that classes of primitive normal, primitive bound, antiadditive, and additive theories are closed under \(P\)-expansions. This phenomenon is quite remarkable, for the main ‘structure’ classes of theories studied within model theory (such as stable, totally transcendental, etc.) do not possess such a property. Furthermore, it is proved that primitive bound theories are \(P\)-stable, and we furnish an example of a primitive bound theory with models that are not primitive bound.


03C45 Classification theory, stability, and related concepts in model theory
Full Text: DOI