Abstract
We compare two different notions of generic expansions of countable saturated structures. One kind of genericity is related to existential closure, and another is defined via topological properties and Baire category theory. The second type of genericity was first formulated by Truss for automorphisms. We work with a later generalization, due to Ivanov, to finite tuples of predicates and functions.
Let be a countable saturated model of some complete theory , and let denote an expansion of to the signature which is a model of some universal theory . We prove that when all existentially closed models of have the same existential theory, is Truss generic if and only if is an e-atomic model. When is -categorical and has a model companion , the e-atomic models are simply the atomic models of .
Citation
Silvia Barbina. Domenico Zambella. "Generic Expansions of Countable Models." Notre Dame J. Formal Logic 53 (4) 511 - 523, 2012. https://doi.org/10.1215/00294527-1722728
Information