Journal of Symbolic Logic · 1998 · 36 citations · 5 references
Natural SciencesMathematicsSet TheoryType SystemsSimple TheoriesType Theory
Abstract Let T be a countable, small simple theory. In this paper, we prove that for such T , the notion of Lascar strong type coincides with the notion of strong type, over an arbitrary set.
5
Saharon Shelah · Annals of Mathematical Logic · 1980 · 190 citations
Forking in Simple Unstable Theories
Byunghan Kim · Journal of the London Mathematical Society · 1998 · 141 citations · Full text