Pebble games and linear equations

&
Journal of Symbolic Logic 80 (3):797-844 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2015.28

Links

PhilArchive



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

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

A compactness theorem for linear equations.Robert Cowen & William Emerson - 1996 - Studia Logica 57 (2-3):355 - 357.
Polarized games.Olivier Laurent - 2004 - Annals of Pure and Applied Logic 130 (1-3):79-123.
Non-equilibrium in Stochastic Mechanics.Guido Bacciagaluppi - unknown
Interpolation, preservation, and pebble games.Johan Benthem Jon Barwisvane - 1999 - Journal of Symbolic Logic 64 (2).
Preservation, interpolation, and pebble games.Jon Barwise & Johan van Benthem - 1999 - Journal of Symbolic Logic 64:884-903.
A quick axiomatisation of LTL with past.Martin Lange - 2005 - Mathematical Logic Quarterly 51 (1):83-88.
Review: Phokion G. Kolaitis, Jouko A. Vaananen, Generalized Quantifiers and Pebble Games on Finite Structures. [REVIEW]I. A. Stewart - 1996 - Journal of Symbolic Logic 61 (4):1387-1388.
Phenomena.Harvey M. Friedman - unknown
Hierarchies achievable in simple games.Josep Freixas & Montserrat Pons - 2010 - Theory and Decision 68 (4):393-404.
Some historical perspectives on certain incompleteness phenomena.Harvey Friedman - manuscript
Maxwell Equations—The One-Photon Quantum Equation.Alexander Gersten - 2001 - Foundations of Physics 31 (8):1211-1231.
Higher regularity for nonlinear oblique derivative problems in Lipschitz domains.Gary M. Lieberman - 2002 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 1 (1):111-151.
A Note On The Owen Set Of Linear.Vito Fragnelli - 2004 - Theory and Decision 56 (1-2):205-213.
On Ehrenfeucht-fraïssé equivalence of linear orderings.Juha Oikkonen - 1990 - Journal of Symbolic Logic 55 (1):65-73.
A construction for recursive linear orderings.C. J. Ash - 1991 - Journal of Symbolic Logic 56 (2):673-683.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,058,801)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references