Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries ... Ed.: H. Dugald Macpherson ... Berlin [u.a.] : Springer, 2014