Effective ultrapowers, Decidability, Definability and Computability in Number Theory, MSRI Berkeley (invited) Conference Paper uri icon