“School of Mathematics”Back to Papers Home
Back to Papers of School of Mathematics
|Paper IPM / M / 8271||
We construct a simple positive Robinson theory with a bounded type-definable equivalence relation which is not the intersection of definable equivalence relations. Consequently, in this theory strong types are weaker than Lascar strong types, and the Lascar group is non-trivial.
Download TeX format
|back to top|