Displaying similar documents to “Constructing Kripke models of certain fragments of Heyting's arithmetic.”

On d-finiteness in continuous structures

Itaï Ben Yaacov, Alexander Usvyatsov (2007)

Fundamenta Mathematicae

Similarity:

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"....