Generic expansions of countable models
Logic
2015-11-03 v2
Abstract
We compare two different notions of generic expansions of countable saturated structures. One kind of genericity is related to model-companions and to amalgamation constructions \'a la Hrushovski-Fra\"iss\'e. Another notion of generic expansion 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.
Cite
@article{arxiv.1011.0120,
title = {Generic expansions of countable models},
author = {Silvia Barbina and Domenico Zambella},
journal= {arXiv preprint arXiv:1011.0120},
year = {2015}
}