Date: 30 Aug 2001

An Existential Locality Theorem

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We prove an existential version of Gaifman’s locality theorem and show how it can be applied algorithmically to evaluate existential first-order sentences in finite structures.