TY - RPRT TI - Model theoretic stability and definability of types, after A. Grothendieck AU - Itaï Ben Yaacov PY - 2015 UR - https://arxiv.org/abs/1306.5852 ID - 1306.5852 ER -