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.

DOI: https://doi.org/10.1215/00294527-1722728

URL: http://projecteuclid.org/euclid.ndjfl/1352383229

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 L₀ which is a model of some universal theory T₀. We prove that when all existentially closed models of T₀ have the same existential theory, (N,σ) is Truss generic if and only if (N,σ) is an e-atomic model. When T is ω-categorical and T₀ has a model companion T_mc, the e-atomic models are simply the atomic models of T_mc.

Viewing alternatives

Metrics

Item Actions

Export

You can export this page using these formats Digital Object Identifier - DOI

About

• Item ORO ID
• 31551
• Item Type
• Journal Item
• ISSN
• 0029-4527
• Keywords
• generic automorphism; existentially closed structure; comeagre conjugacy class
• Academic Unit or School
• Faculty of Science, Technology, Engineering and Mathematics (STEM) > Mathematics and Statistics
  Faculty of Science, Technology, Engineering and Mathematics (STEM)
• Copyright Holders
• © 2012 University of Notre Dame
• Related URLs
• • http://www.nd.edu/~ndjfl/(Other)
• Depositing User
• Silvia Barbina