Generic expansions by a reduct

Abstract

Consider the expansion [Formula: see text] of a theory [Formula: see text] by a predicate for a submodel of a reduct [Formula: see text] of [Formula: see text]. We present a setup in which this expansion admits a model companion [Formula: see text]. We show that some of the nice features of the theory [Formula: see text] transfer to [Formula: see text]. In particular, we study conditions for which this expansion preserves the [Formula: see text]-ness, the simplicity or the stability of the starting theory [Formula: see text]. We give concrete examples of new [Formula: see text] not simple theories obtained by this process, among them the expansion of a perfect [Formula: see text]-free PAC field of positive characteristic by generic additive subgroups, and the expansion of an algebraically closed field of any characteristic by a generic multiplicative subgroup.