Recent Applications of Model Theory, Institute of Mathematical Sciences