Model Theory in Algebra, Analysis and Arithmetic