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.
Original language | English |
---|---|
Pages (from-to) | 926-936 |
Number of pages | 11 |
Journal | Journal of Symbolic Logic |
Volume | 63 |
Issue number | 3 |
DOIs | |
Publication status | Published - 1998 Sept |
All Science Journal Classification (ASJC) codes
- Philosophy
- Logic