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  
  • Strongly determined types.Alexandre A. Ivanov & Dugald Macpherson - 1999 - Annals of Pure and Applied Logic 99 (1-3):197-230.
    The notion of a strongly determined type over A extending p is introduced, where p .S. A strongly determined extension of p over A assigns, for any model M )- A, a type q S extending p such that, if realises q, then any elementary partial map M → M which fixes acleq pointwise is elementary over . This gives a crude notion of independence which arises very frequently. Examples are provided of many different kinds of theories with strongly determined (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • On the automorphism group of the universal homogeneous meet-tree.Itay Kaplan, Tomasz Rzepecki & Daoud Siniora - 2021 - Journal of Symbolic Logic 86 (4):1508-1540.
    We show that the countable universal homogeneous meet-tree has a generic automorphism, but does not have a generic pair of automorphisms.
    Download  
     
    Export citation  
     
    Bookmark  
  • Finitely approximable groups and actions Part II: Generic representations.Christian Rosendal - 2011 - Journal of Symbolic Logic 76 (4):1307-1321.
    Given a finitely generated group Γ, we study the space Isom(Γ, ℚ������) of all actions of Γ by isometries of the rational Urysohn metric space ℚ������, where Isom(Γ, ℚ������) is equipped with the topology it inherits seen as a closed subset of Isom(ℚ������) Γ . When Γ is the free group ������ n on n generators this space is just Isom(ℚ������) n , but is in general significantly more complicated. We prove that when Γ is finitely generated Abelian there is (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Games with finitely generated structures.Adam Krawczyk & Wiesław Kubiś - 2021 - Annals of Pure and Applied Logic 172 (10):103016.
    Download  
     
    Export citation  
     
    Bookmark   1 citation