Switch to: References

Add citations

You must login to add citations.
  1. The finite submodel property and ω-categorical expansions of pregeometries.Marko Djordjević - 2006 - Annals of Pure and Applied Logic 139 (1):201-229.
    We prove, by a probabilistic argument, that a class of ω-categorical structures, on which algebraic closure defines a pregeometry, has the finite submodel property. This class includes any expansion of a pure set or of a vector space, projective space or affine space over a finite field such that the new relations are sufficiently independent of each other and over the original structure. In particular, the random graph belongs to this class, since it is a sufficiently independent expansion of an (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • CM-triviality and relational structures.Viktor Verbovskiy & Ikuo Yoneda - 2003 - Annals of Pure and Applied Logic 122 (1-3):175-194.
    Continuing work of Baldwin and Shi 1), we study non-ω-saturated generic structures of the ab initio Hrushovski construction with amalgamation over closed sets. We show that they are CM-trivial with weak elimination of imaginaries. Our main tool is a new characterization of non-forking in these theories.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The stable forking conjecture and generic structures.Massoud Pourmahdian - 2003 - Archive for Mathematical Logic 42 (5):415-421.
    We prove that for any simple theory which is constructed via Fräissé-Hrushovski method, if the forking independence is the same as the d-independence then the stable forking property holds.
    Download  
     
    Export citation  
     
    Bookmark  
  • On omega-categorical simple theories.Daniel Palacín - 2012 - Archive for Mathematical Logic 51 (7-8):709-717.
    In the present paper we shall prove that countable ω-categorical simple CM-trivial theories and countable ω-categorical simple theories with strong stable forking are low. In addition, we observe that simple theories of bounded finite weight are low.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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   1 citation  
  • On First-Order Sentences without Finite Models.Marko Djordjević - 2004 - Journal of Symbolic Logic 69 (2):329 - 339.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Asymptotic probabilities of extension properties and random l -colourable structures.Vera Koponen - 2012 - Annals of Pure and Applied Logic 163 (4):391-438.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Ramsey Theory for Countable Binary Homogeneous Structures.Jean A. Larson - 2005 - Notre Dame Journal of Formal Logic 46 (3):335-352.
    Countable homogeneous relational structures have been studied by many people. One area of focus is the Ramsey theory of such structures. After a review of background material, a partition theorem of Laflamme, Sauer, and Vuksanovic for countable homogeneous binary relational structures is discussed with a focus on the size of the set of unavoidable colors.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • An axiomatic approach to free amalgamation.Gabriel Conant - 2017 - Journal of Symbolic Logic 82 (2):648-671.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Simplicity of the automorphism groups of some Hrushovski constructions.David M. Evans, Zaniar Ghadernezhad & Katrin Tent - 2016 - Annals of Pure and Applied Logic 167 (1):22-48.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07.Steffen Lempp - 2008 - Bulletin of Symbolic Logic 14 (1):123-159.
    Download  
     
    Export citation  
     
    Bookmark  
  • On first-order sentences without finite models.Marko Djordjević - 2004 - Journal of Symbolic Logic 69 (2):329-339.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A note on stability spectrum of generic structures.Yuki Anbo & Koichiro Ikeda - 2010 - Mathematical Logic Quarterly 56 (3):257-261.
    We show that if a class K of finite relational structures is closed under quasi-substructures, then there is no saturated K-generic structure that is superstable but not ω -stable.
    Download  
     
    Export citation  
     
    Bookmark   1 citation