2
votes
1answer
248 views

Relation between different definitions of types [closed]

Is there any connection between the definition of type in model theory and the definitions from type theory? Is there any explanation why the same term is used for these notions, maybe in the ...