Invariance Under Isomorphism and Definability Date December 13, 2012 Speakers Per Martin-Löf, Institute for Advanced Study Affiliation Stockholm University, Member, School of Mathematics, IAS School of Mathematics Univalent