Some Extensions of Finite Model Theory
Michael Benedikt
Bell Laboratories
In this talk I'll overview several
extensions of finite model theory that
combine an uninterpreted component with
some fixed, interpreted structure.
I'll concentrate on two extensions: the Metafinite
model theory of Gurevich and Gradel, and
the Embedded Finite Model Theory that comes out
of the constraint database community.