Switch to: References

Add citations

You must login to add citations.
  1. Un critère simple.Thomas Blossier & Amador Martin-Pizarro - 2019 - Notre Dame Journal of Formal Logic 60 (4):639-663.
    Nous isolons des propriétés valables dans certaines théories de purs corps ou de corps munis d’opérateurs afin de montrer qu’une théorie est simple lorsque les clôtures définissables et algébriques sont contrôlées par une théorie stable associée.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • 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$ (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  • The Metamathematics of Random Graphs.John T. Baldwin - 2006 - Annals of Pure and Applied Logic 143 (1-3):20-28.
    We explain and summarize the use of logic to provide a uniform perspective for studying limit laws on finite probability spaces. This work connects developments in stability theory, finite model theory, abstract model theory, and probability. We conclude by linking this context with work on the Urysohn space.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Grouplike Minimal Sets in ACFA and in T A.Alice Medvedev - 2010 - Journal of Symbolic Logic 75 (4):1462-1488.
    This paper began as a generalization of a part of the author's PhD thesis about ACFA and ended up with a characterization of groups definable in T A . The thesis concerns minimal formulae of the form x ∈ A ∧ σ(x) = f(x) for an algebraic curve A and a dominant rational function f: A → σ(A). These are shown to be uniform in the Zilber trichotomy, and the pairs (A, f) that fall into each of the three cases (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark  
  • On PAC and Bounded Substructures of a Stable Structure.Anand Pillay & Dominika Polkowska - 2006 - Journal of Symbolic Logic 71 (2):460 - 472.
    We introduce and study the notions of a PAC-substructure of a stable structure, and a bounded substructure of an arbitrary substructure, generalizing [10]. We give precise definitions and equivalences, saying what it means for properties such as PAC to be first order, study some examples (such as differentially closed fields) in detail, relate the material to generic automorphisms, and generalize a "descent theorem" for pseudo-algebraically closed fields to the stable context. We also point out that the elementary invariants of pseudo-algebraically (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • 2010 North American Annual Meeting of the Association for Symbolic Logic.Reed Solomon - 2011 - Bulletin of Symbolic Logic 17 (1):127-154.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Model Theoretic Dynamics in Galois Fashion.Daniel Max Hoffmann - 2019 - Annals of Pure and Applied Logic 170 (7):755-804.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations