“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 8271 |
|
| Abstract: | |
|
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 | |
