An existential locality theorem

Annals of Pure and Applied Logic 129 (1-3):131-148 (2004)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Examples of non-locality.John T. Baldwin & Saharon Shelah - 2008 - Journal of Symbolic Logic 73 (3):765-782.
The Chang-Łoś-Suszko theorem in a topological setting.Paul Bankston - 2006 - Archive for Mathematical Logic 45 (1):97-112.
Against 'Realism'.Travis Norsen - 2007 - Foundations of Physics 37 (3):311-340.
Locality, Bell's theorem, and quantum mechanics.Peter Rastall - 1985 - Foundations of Physics 15 (9):963-972.
Locality and the Hardy theorem.Arthur Fine - 1999 - In Jeremy Butterfield & Constantine Pagonis (eds.), From Physics to Philosophy. Cambridge University Press. pp. 1.


Added to PP

19 (#822,759)

6 months
4 (#859,620)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Game-based notions of locality over finite models.Marcelo Arenas, Pablo Barceló & Leonid Libkin - 2008 - Annals of Pure and Applied Logic 152 (1-3):3-30.

Add more citations