On d-finiteness in continuous structures
Itaï Ben Yaacov, Alexander Usvyatsov · Fundamenta Mathematicae · 2007
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. Th