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  
  • The strict order property and generic automorphisms.Hirotaka Kikyo & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (1):214-216.
    If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Laforte, G., see Downey, R.T. Arai, Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):287.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • (1 other version)Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
    For a theory T in L, T σ is the theory of the models of T with an automorphism σ. If T is an unstable model complete theory without the independence property, then T σ has no model companion. If T is an unstable model complete theory and T σ has the amalgamation property, then T σ has no model companion. If T is model complete and has the fcp, then T σ has no model completion.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Generic structures and simple theories.Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):71-92.
    We study structures equipped with generic predicates and/or automorphisms, and show that in many cases we obtain simple theories. We also show that a bounded PAC field is simple. 1998 Published by Elsevier Science B.V. All rights reserved.
    Download  
     
    Export citation  
     
    Bookmark   69 citations  
  • (1 other version)Model Companions of for Stable T.John T. Baldwin & Saharon Shelah - 2001 - Notre Dame Journal of Formal Logic 42 (3):129-142.
    We introduce the notion T does not omit obstructions. If a stable theory does not admit obstructions then it does not have the finite cover property (nfcp). For any theory T, form a new theory by adding a new unary function symbol and axioms asserting it is an automorphism. The main result of the paper asserts the following: If T is a stable theory, T does not admit obstructions if and only if has a model companion. The proof involves some (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Model Companions of $T_{\rm Aut}$ for Stable T.John T. Baldwin & Saharon Shelah - 2001 - Notre Dame Journal of Formal Logic 42 (3):129-142.
    We introduce the notion T does not omit obstructions. If a stable theory does not admit obstructions then it does not have the finite cover property . For any theory T, form a new theory $T_{\rm Aut}$ by adding a new unary function symbol and axioms asserting it is an automorphism. The main result of the paper asserts the following: If T is a stable theory, T does not admit obstructions if and only if $T_{\rm Aut}$ has a model companion. (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The definable multiplicity property and generic automorphisms.Hirotaka Kikyo & Anand Pillay - 2000 - Annals of Pure and Applied Logic 106 (1-3):263-273.
    Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T{“σ is an automorphism”} is an elementary class if and only if T has the definable multiplicity property, as long as T is a finite cover of a strongly minimal theory which does have the definable multiplicity property. We obtain cleaner results working with several automorphisms, and prove: the class of existentially closed models of T{“σi is an automorphism”: i=1,2} is (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • 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