Model theory in algebra, analysis and arithmetic - Dries, Lou Van den (Berlin springer, 2014)