Generic expansions of countable models

DOI10.1215/00294527-1722728zbMATH Open1282.03018arXiv1011.0120OpenAlexW3126096473MaRDI QIDQ691128FDOQ691128

Domenico Zambella, Silvia Barbina

Publication date: 29 November 2012

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1011.0120

zbMATH Keywords

comeager conjugacy classexistentially closed structuregeneric automorphismgenericity of expansion

Mathematics Subject Classification ID

Baire category, Baire spaces (54E52) Model theory of denumerable and separable structures (03C15) Other classical first-order model theory (03C68)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Turbulence, amalgamation, and generic automorphisms of homogeneous structures
• Model Theory
• Generic structures and simple theories
• The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph
• Generic Automorphisms of Homogeneous Structures
• On notions of genericity and mutual genericity
• Model theory of difference fields
• Extending partial isomorphisms of graphs
• Comeagre conjugacy classes and free products with amalgamation
• Les beaux automorphismes. (The beautiful automorphisms)
• Model companions of \(T_{\Aut}\) for stable \(T\)
• Generic expansions of ω-categorical structures and semantics of generalized quantifiers
• On the Reconstruction of ℵ₀ -Categorical Structures from their Automorphism Groups
• Model companions of theories with an automorphism
• The strict order property and generic automorphisms
• Autour De La Propriété Du Petit Indice
• Reconstruction of homogeneous relational structures

Cited In (2)

• A survey of homogeneous structures
• Title not available (Why is that?)

This page was built for publication: Generic expansions of countable models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q691128)