Switch to: Citations

Add references

You must login to add references.
  1. Measures and forking.H. Jerome Keisler - 1987 - Annals of Pure and Applied Logic 34 (2):119-169.
    Shelah's theory of forking is generalized in a way which deals with measures instead of complete types. This allows us to extend the method of forking from the class of stable theories to the larger class of theories which do not have the independence property. When restricted to the special case of stable theories, this paper reduces to a reformulation of the classical approach. However, it goes beyond the classical approach in the case of unstable theories. Methods from ordinary forking (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory.Saharon Shelah - 1971 - Annals of Mathematical Logic 3 (3):271-362.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Model theoretic stability and definability of types, after A. grothendieck.Itaï Ben Yaacov - 2014 - Bulletin of Symbolic Logic 20 (4):491-496,.
    We point out how the "Fundamental Theorem of Stability Theory", namely the equivalence between the "non order property" and definability of types, proved by Shelah in the 1970s, is in fact an immediate consequence of Grothendieck's "Criteres de compacite" from 1952. The familiar forms for the defining formulae then follow using Mazur's Lemma regarding weak convergence in Banach spaces.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Pointwise compact and stable sets of measurable functions.S. Shelah & D. H. Fremlin - 1993 - Journal of Symbolic Logic 58 (2):435-455.
    Download  
     
    Export citation  
     
    Bookmark   2 citations