Switch to: References

Add citations

You must login to add citations.
  1. Generic Expansions of Countable Models.Silvia Barbina & Domenico Zambella - 2012 - Notre Dame Journal of Formal Logic 53 (4):511-523.
    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 $N$ be a countable saturated model of some complete theory $T$ , and let $(N,\sigma)$ denote an expansion of $N$ (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Ages of Expansions of ω-Categorical Structures.A. Ivanov & K. Majcher - 2007 - Notre Dame Journal of Formal Logic 48 (3):371-380.
    The age of a structure M is the set of all isomorphism types of finite substructures of M. We study ages of generic expansions of ω-stable ω-categorical structures.
    Download  
     
    Export citation  
     
    Bookmark  
  • Examples of weak amalgamation classes.Adam Krawczyk, Alex Kruckman, Wiesław Kubiś & Aristotelis Panagiotopoulos - 2022 - Mathematical Logic Quarterly 68 (2):178-188.
    We present several examples of hereditary classes of finite structures satisfying the joint embedding property and the weak amalgamation property, but failing the cofinal amalgamation property. These include a continuum‐sized family of classes of finite undirected graphs, as well as an example due to Pouzet with countably categorical generic limit.
    Download  
     
    Export citation  
     
    Bookmark