This lecture covers the technical derivation of Multivariate Extreme Value models, focusing on the generating function and key technical conditions such as the limit property, u-homogeneity property, and strong alternating sign property. The lecture also explains how the model is derived from first principles, the motivation behind the technical conditions, and the properties of the model including marginal distributions, variance-covariance matrix, normalization, and the expected Maximum Utility. Additionally, it introduces the Inheritance theorem and highlights that Logit and nested Logit are part of the Multivariate Extreme Value family.