On d-finiteness in continuous structures

We observe that certain classical results of first order model theory fail in the context of continuous first order logic. We argue that this happens since finite tuples in a continuous structure may behave as infinite tuples in classical model theory. The notion of a d-finite tuple attempts to capture some aspects of the classical finite tuple behaviour. We show that many classical results involving finite tuples are valid in continuous logic upon replacing "finite" with "d-finite". Other results, such as Vaught's no two models theorem and Lachlan's theorem on the number of countable models of a superstable theory are proved under the assumption of enough (uniformly) d-finite tuples. The main goal of this article is to describe and study conditions under which certain results of classical model theory generalise to the model theory of metric structures, and to explain why when they do not. We start by recalling Henson's adaptation of the Ryll-Nardzewski theo- rem to metric logics (originally for the logic of positive bounded formulae, but we state and prove it for continuous first order logic). It characterises the family of countable ω-categorical (i.e., separably categorical) continuous theories in a manner analogous to the classical result. One of the equiva- lent characterisations is that all models of T are approximately ω-saturated, which is a weaker property than plain ω-saturation; in particular, the unique separable model need not be ω-saturated in the classical sense. A good example for this phenomenon is the theory T of L p Banach lattices (BBH) (for a fixed 1 ≤ p < ∞). Up to isomorphism, the unique separable model of this theory is L p (0,1), which is therefore approximately ω-saturated. By quantifier elimination it embeds elementarily in L p (0,2); however, tp(χ(1,2)/χ(0,1)) is a consistent type over a single parameter which is not realised in L p (0,1), and so it is not ω-saturated in the classical sense.