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 historical sense.
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

closed as offtopic by Emil Jeřábek, David White, Ramiro de la Vega, Ricardo Andrade, Vidit Nanda Oct 4 '13 at 17:36
This question appears to be offtopic. The users who voted to close gave this specific reason:
 "This question does not appear to be about research level mathematics within the scope defined in the help center." – Emil Jeřábek, David White, Ramiro de la Vega, Ricardo Andrade, Vidit Nanda
To the best of my knowledge, there are no deep historical or mathematical connections between these two uses of the term type. 

