The Journal of Symbolic Logic

Research Article

A note on Lascar strong types in simple theories

Byunghan Kim

Department of Mathematics, University of California, Berkeley, CA 94720-3840, USA E-mail: bkim@math.berkeley.edu

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.

(Received August 06 1996)

(Revised January 29 1997)