Effective ultraproducts and applications, joint AMS-ASL meeting, Baltimore (invited). Conference Paper uri icon