Andrés

]]>“The notion of interpretation in model theory corresponds to a number of familiar phenomena in algebra which are often considered distinct: coordinatization, structure theory, and constructions like direct product and homomorphic image. For example a Desarguesian projective plane is coordinatized by a division ring; Artinian semisimple rings are finite direct products of matrix rings over divisions rings; many theorems of finite group theory have as their conclusion that a certain abstract group belongs to a standard family of matrix groups over . All of these examples have a common feature: certain structures of one kind are somehow encoded in terms of structures of another kind. All of these examples have a further feature which plays no role in algebra but which is crucial for us: in each case the encoded structures can be recovered from the encoding structures definably.”

]]>Now unless I am missing something silly, there should be no way to define an infinite linear ordering in either of the sorts P_1 or P_2, unless there was already a way to define an ordering in the original theory T… Basically, if the theory T has q.e., then T’ will have q.e. as well, and then it’s not hard to check what I’m claiming.

]]>