The Open UniversitySkip to content
 

Generic expansions of countable models

Barbina, Silvia and Zambella, Domenico (2012). Generic expansions of countable models. Notre Dame Journal of Formal Logic, 53(4) pp. 511–523.

URL: http://projecteuclid.org/euclid.ndjfl/1352383229
DOI (Digital Object Identifier) Link: http://dx.doi.org/10.1215/00294527-1722728
Google Scholar: Look up in Google Scholar

Abstract

We compare two different notions of generic expansions of countable saturated structures. One kind of genericity is related to existential closure, 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 N,σ be a countable saturated model of some complete theory T, and let (N,σ) denote an expansion of N to the signature L0 which is a model of some universal theory T0. We prove that when all existentially closed models of T0 have the same existential theory, (N,σ) is Truss generic if and only if (N,σ) is an e-atomic model. When T is ω-categorical and T0 has a model companion Tmc, the e-atomic models are simply the atomic models of Tmc.

Item Type: Journal Article
Copyright Holders: 2012 University of Notre Dame
ISSN: 0029-4527
Keywords: generic automorphism; existentially closed structure; comeagre conjugacy class
Academic Unit/Department: Mathematics, Computing and Technology > Mathematics and Statistics
Related URLs:
Item ID: 31551
Depositing User: Silvia Barbina
Date Deposited: 31 Jan 2012 16:11
Last Modified: 04 Oct 2013 12:48
URI: http://oro.open.ac.uk/id/eprint/31551
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk