Switch to: References

Add citations

You must login to add citations.
  1. From stability to simplicity.Byunghan Kim & Anand Pillay - 1998 - Bulletin of Symbolic Logic 4 (1):17-36.
    §1. Introduction. In this report we wish to describe recent work on a class of first order theories first introduced by Shelah in [32], the simple theories. Major progress was made in the first author's doctoral thesis [17]. We will give a survey of this, as well as further works by the authors and others.The class of simple theories includes stable theories, but also many more, such as the theory of the random graph. Moreover, many of the theories of particular (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • On the n-uniqueness of types in rosy theories.Byunghan Kim - 2016 - Archive for Mathematical Logic 55 (5-6):677-686.
    We prove that in a rosy theory, the n-uniqueness of a strong type p implies the strong n-uniqueness of p. In addition we study some of the boundary properties of p.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Lascar Group and the Strong Types of Hyperimaginaries.Byunghan Kim - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):497-507.
    This is an expository note on the Lascar group. We also study the Lascar group over hyperimaginaries and make some new observations on the strong types over those. In particular, we show that in a simple theory $\operatorname{Ltp}\equiv\operatorname{stp}$ in real context implies that for hyperimaginary context.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Lascar groups and the first homology groups in model theory.Jan Dobrowolski, Byunghan Kim & Junguk Lee - 2017 - Annals of Pure and Applied Logic 168 (12):2129-2151.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Homology groups of types in stable theories and the Hurewicz correspondence.John Goodrick, Byunghan Kim & Alexei Kolesnikov - 2017 - Annals of Pure and Applied Logic 168 (9):1710-1728.
    Download  
     
    Export citation  
     
    Bookmark   1 citation