“School of Mathematics”

Back to Papers Home
Back to Papers of School of Mathematics

Paper   IPM / M / 8271
School of Mathematics
  Title:   A simple positive Robinson theory with LSTPSTP
  Author(s):  M. Pourmahdian (Joint with F. Wagner)
  Status:   Published
  Journal: Lect. Notes Log.
  Vol.:  26
  Year:  2006
  Pages:   270-283
  Supported by:  IPM
  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
scroll left or right