Switch to: References

Add citations

You must login to add citations.
  1. Pseudofiniteness in Hrushovski Constructions.Ali N. Valizadeh & Massoud Pourmahdian - 2020 - Notre Dame Journal of Formal Logic 61 (1):1-10.
    In a relational language consisting of a single relation R, we investigate pseudofiniteness of certain Hrushovski constructions obtained via predimension functions. It is notable that the arity of the relation R plays a crucial role in this context. When R is ternary, by extending the methods recently developed by Brody and Laskowski, we interpret 〈Q+,<〉 in the 〈K+,≤∗〉-generic and prove that this structure is not pseudofinite. This provides a negative answer to the question posed in an earlier work by Evans (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Simple generic structures.Massoud Pourmahdian - 2003 - Annals of Pure and Applied Logic 121 (2-3):227-260.
    A study of smooth classes whose generic structures have simple theory is carried out in a spirit similar to Hrushovski 147; Simplicity and the Lascar group, preprint, 1997) and Baldwin–Shi 1). We attach to a smooth class K0, of finite -structures a canonical inductive theory TNat, in an extension-by-definition of the language . Here TNat and the class of existentially closed models of =T+,EX, play an important role in description of the theory of the K0,-generic. We show that if M (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Some Remarks on Generic Structures.David M. Evans & Mark Wing Ho Wong - 2009 - Journal of Symbolic Logic 74 (4):1143-1154.
    We show that the N₀-categorical structures produced by Hrushovski's predimension construction with a control function fit neatly into Shelah's $SOP_n $ hierarchy: if they are not simple, then they have SOP₃ and NSOP₄. We also show that structures produced without using a control function can be undecidable and have SOP.
    Download  
     
    Export citation  
     
    Bookmark   2 citations