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.
closed as off-topic by Emil Jeřábek, David White, Ramiro de la Vega, Ricardo Andrade, Vidit Nanda Oct 4 at 17:36
This question appears to be off-topic. 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.