ON THE MAXIMALITY OF LOGICS WITH APPROXIMATIONS JOSÉ IOVINO

In this paper we analyze some aspects of the question of using methods from model theory to study structures of functional analysis. By a well known result of P. Lindström, one cannot extend the expressive power of first order logic and yet preserve its most outstanding model theoretic characteristic