Title:On perturbations of continuous structures

Abstract: We give a general framework for the treatment of perturbations of types and structures in continuous logic, allowing to specify which parts of the logic may be perturbed. We prove that separable, elementarily equivalent structures which are approximately $\omega$-saturated up to arbitrarily small perturbations are isomorphic up to arbitrarily small perturbations (where the notion of perturbation is part of the data). As a corollary, we obtain a Ryll-Nardzewski style characterisation of complete theories all of whose separable models are isomorphic up to arbitrarily small perturbations. We also present a brief treatment of unbounded continuous structures, which is closer in spirit to Henson's logic for Banach space structures than that present in \cite{BenYaacov-Usvyatsov:CFO}. We introduce single point compactification as an alternative method for bringing such structures back into the setting of bounded continuous first order logic. This allows us to obtain a proof of an unpublished theorem of Henson characterising theories of Banach spaces which are separably categorical up to small perturbation of the norm as a special case of the first result.