Cookies

We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.


Durham Research Online
You are in:

A perspective on Lindström quantifiers and oracles.

Stewart, I. A. (1999) 'A perspective on Lindström quantifiers and oracles.', in Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information ESSLLI’97 Workshop, 11-22 August 1997, Aix-en-Provence, France ; revised lectures. Berlin: Springer, pp. 51-71. Lecture notes in computer science. (1754).

Abstract

This paper presents a perspective on the relationship between Lindström quantifiers in model theory and oracle computations in complexity theory. We do not study this relationship here in full generality (indeed, there is much more work to do in order to obtain a full appreciation), but instead we examine what amounts to a thread of research in this topic running from the motivating results, concerning logical characterizations of nondeterministic polynomial-time, to the consideration of Lindström quantifiers as oracles, and through to the study of some naturally arising questions (and subsequent answers). Our presentation follows the chronological progress of the thread and highlights some important techniques and results at the interface between finite model theory and computational complexity theory.

Item Type:Book chapter
Additional Information:The original publication is available at www.springerlink.com
Keywords:Finite model theory, Descriptive complexity, Lindström quantifiers, Oracles.
Full text:PDF - Accepted Version (274Kb)
Status:Peer-reviewed
Publisher Web site:http://dx.doi.org/10.1007/3-540-46583-9_3
Record Created:28 Jun 2010 14:50
Last Modified:28 Jun 2010 15:42

Social bookmarking: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitterExport: EndNote, Zotero | BibTex
Usage statisticsLook up in GoogleScholar | Find in a UK Library