Applications of model theory to functional analysis - Iovino, Jose (Dover books on mathematics, 2014)