Is there any connection between the [definition of type in model theory](http://en.wikipedia.org/wiki/Type_%28model_theory%29) and the definitions from [type theory](http://en.wikipedia.org/wiki/Type_theory)? Is there any explanation why the same term is used for these notions, maybe in the historical sense.



Relation between different definitions of types
To the best of my knowledge, there are no deep historical or mathematical connections between these two uses of the term *type*.


