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:36This question appears to be offtopic. The users who voted to close gave this specific reason:



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

