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