An existential locality theorem

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

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

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2004.01.005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

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

Through your library

My notes

Similar books and articles

Comments on “locality, Bell's theorem, and quantum mechanics”.Henry P. Stapp - 1985 - Foundations of Physics 15 (9):973-976.
Examples of non-locality.John T. Baldwin & Saharon Shelah - 2008 - Journal of Symbolic Logic 73 (3):765-782.
Non-separability Does Not Relieve the Problem of Bell’s Theorem.Joe Henson - 2013 - Foundations of Physics 43 (8):1008-1038.
The Chang-Łoś-Suszko theorem in a topological setting.Paul Bankston - 2006 - Archive for Mathematical Logic 45 (1):97-112.
Quantum Mechanics, Can It Be Consistent with Locality?Giuseppe Nisticò & Angela Sestito - 2011 - Foundations of Physics 41 (7):1263-1278.
Notions of locality and their logical characterizations over finite models.Lauri Hella, Leonid Libkin & Juha Nurmonen - 1999 - Journal of Symbolic Logic 64 (4):1751-1773.
Bell Nonlocality, Signal Locality and Unpredictability (or What Bohr Could Have Told Einstein at Solvay Had He Known About Bell Experiments).Eric G. Cavalcanti & Howard M. Wiseman - 2012 - Foundations of Physics 42 (10):1329-1338.
Against 'Realism'.Travis Norsen - 2007 - Foundations of Physics 37 (3):311-340.
The Conway-Kochen Argument and Relativistic GRW Models.Angelo Bassi & GianCarlo Ghirardi - 2007 - Foundations of Physics 37 (2):169-185.
Counterfactuals and non-locality of quantum mechanics: The bedford–stapp version of the GHZ theorem.Tomasz Bigaj - 2007 - Foundations of Science 12 (1):85-108.
Locality, Bell's theorem, and quantum mechanics.Peter Rastall - 1985 - Foundations of Physics 15 (9):963-972.
Locality, factorizability, and the Maxwell Boltzmann distribution.Itamar Pitowsky & Noam Shoresh - 1996 - Foundations of Physics 26 (9):1231-1242.
Determinism and locality in quantum systems.W. Michael Dickson - 1996 - Synthese 107 (1):55 - 82.
The Skolem-löwenheim theorem in toposes. II.Marek Zawadowski - 1985 - Studia Logica 44 (1):25 - 38.
Locality and the Hardy theorem.Arthur Fine - 1999 - In Jeremy Butterfield & Constantine Pagonis (eds.), From Physics to Philosophy. Cambridge University Press. pp. 1.

Analytics

Added to PP
2014-01-16

Downloads
17 (#819,600)

6 months
7 (#350,235)

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

References found in this work

Add more references