Kolaitis Phokion G. and Väänänen Jouko A.. Generalized quantifiers and pebble games on finite structures. Annals of pure and applied logic, vol. 74 pp. 23–75 [Book Review]

Journal of Symbolic Logic 61 (4):1387-1388 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275823

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

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.
Lauri Hella, Phokion G. Kolaitis, and Kerkko Luosto. How to define a linear order on finite models. Annals of pure and applied logic, vol. 87 , pp. 241–267. [REVIEW]M. Otto - 2000 - Bulletin of Symbolic Logic 6 (3):355-356.
Generalized quantifiers and pebble games on finite structures.Phokion G. Kolaitis & Jouko A. Väänänen - 1995 - Annals of Pure and Applied Logic 74 (1):23-75.
Jouko Väänänen. Models and games. Cambridge Studies in Advanced Mathematics, vol. 132. Cambridge University Press, Cambridge, 2011, xii + 367 pp. [REVIEW]Ian Hodkinson - 2012 - Bulletin of Symbolic Logic 18 (3):406-408.
Review: Jouko Vaananen, A Hierarchy Theorem for Lindstrom Quantifiers. [REVIEW]Juha Oikkonen - 1989 - Journal of Symbolic Logic 54 (2):631-631.
Tomoyuki Yamakami. Polynomial games and determinacy, Annals of pure and applied logic, vol. 80 , pp. 1–16.Edward Griffor - 1999 - Journal of Symbolic Logic 64 (2):913.
Samuel R. Buss. The undecidability of k-provability. Annals of pure and applied logic, vol. 53 , pp. 75–102.Alessandra Carbone - 1997 - Journal of Symbolic Logic 62 (4):1480-1481.
Relativized logspace and generalized quantifiers over finite ordered structures.Georg Gottlob - 1997 - Journal of Symbolic Logic 62 (2):545-574.
Helmut Schwichtenberg. Finite notations for infinite terms. Annals of pure and applied logic, vol. 94 , pp. 201–222. [REVIEW]Herman Ruge Jervell - 2000 - Bulletin of Symbolic Logic 6 (4):477-477.
On second-order generalized quantifiers and finite structures.Anders Andersson - 2002 - Annals of Pure and Applied Logic 115 (1--3):1--32.

Analytics

Added to PP
2016-06-30

Downloads
17 (#863,251)

6 months
1 (#1,720,529)

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