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