An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers

Simi Haber; Saharon Shelah

doi:10.1007/978-3-319-23534-9_13

An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers

Simi Haber, Saharon Shelah

Department of Mathematics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

We propose an extension of the Ehrenfeucht-Fraïssé game able to deal with logics augmented with Lindström quantifiers. We describe three different games with varying balance between simplicity and ease of use.

Original language	English
Title of host publication	Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Editors	Andreas Blass, Bernd Finkbeiner, Nachum Dershowitz, Wolfram Schulte, Lev D. Beklemishev
Publisher	Springer Verlag
Pages	226-236
Number of pages	11
ISBN (Print)	9783319235332
DOIs	https://doi.org/10.1007/978-3-319-23534-9_13
State	Published - 2015
Event	Symposium on Yurifest, 2015 - Berlin, Germany Duration: 11 Sep 2015 → 12 Sep 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9300
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Symposium on Yurifest, 2015
Country/Territory	Germany
City	Berlin
Period	11/09/15 → 12/09/15

Bibliographical note

Publisher Copyright:
© Springer International Publishing Switzerland 2015.

Funding

Research partially supported by National Science Foundation grant no. DMS 1101597. Research partially supported by European Research Council grant 338821. Number 1059 on author’s list.

Funders	Funder number
European Commission
National Science Foundation
National Science Foundation	DMS 1101597
European Commission	338821

Access to Document

10.1007/978-3-319-23534-9_13

Cite this

Haber, S., & Shelah, S. (2015). An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers. In A. Blass, B. Finkbeiner, N. Dershowitz, W. Schulte, & L. D. Beklemishev (Eds.), Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (pp. 226-236). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9300). Springer Verlag. https://doi.org/10.1007/978-3-319-23534-9_13

Haber, Simi ; Shelah, Saharon. / An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers. Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. editor / Andreas Blass ; Bernd Finkbeiner ; Nachum Dershowitz ; Wolfram Schulte ; Lev D. Beklemishev. Springer Verlag, 2015. pp. 226-236 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{505cd34ec37a4fca8968d9c5e118348e,

title = "An extension of the Ehrenfeucht-Fra{\"i}ss{\'e} game for first order logics augmented with Lindstr{\"o}m quantifiers",

abstract = "We propose an extension of the Ehrenfeucht-Fra{\"i}ss{\'e} game able to deal with logics augmented with Lindstr{\"o}m quantifiers. We describe three different games with varying balance between simplicity and ease of use.",

author = "Simi Haber and Saharon Shelah",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; Symposium on Yurifest, 2015 ; Conference date: 11-09-2015 Through 12-09-2015",

year = "2015",

doi = "10.1007/978-3-319-23534-9_13",

language = "אנגלית",

isbn = "9783319235332",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "226--236",

editor = "Andreas Blass and Bernd Finkbeiner and Nachum Dershowitz and Wolfram Schulte and Beklemishev, {Lev D.}",

booktitle = "Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday",

address = "גרמניה",

}

Haber, S & Shelah, S 2015, An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers. in A Blass, B Finkbeiner, N Dershowitz, W Schulte & LD Beklemishev (eds), Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9300, Springer Verlag, pp. 226-236, Symposium on Yurifest, 2015, Berlin, Germany, 11/09/15. https://doi.org/10.1007/978-3-319-23534-9_13

An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers. / Haber, Simi; Shelah, Saharon.
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. ed. / Andreas Blass; Bernd Finkbeiner; Nachum Dershowitz; Wolfram Schulte; Lev D. Beklemishev. Springer Verlag, 2015. p. 226-236 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9300).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers

AU - Haber, Simi

AU - Shelah, Saharon

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2015.

PY - 2015

Y1 - 2015

N2 - We propose an extension of the Ehrenfeucht-Fraïssé game able to deal with logics augmented with Lindström quantifiers. We describe three different games with varying balance between simplicity and ease of use.

AB - We propose an extension of the Ehrenfeucht-Fraïssé game able to deal with logics augmented with Lindström quantifiers. We describe three different games with varying balance between simplicity and ease of use.

UR - http://www.scopus.com/inward/record.url?scp=84951870489&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-23534-9_13

DO - 10.1007/978-3-319-23534-9_13

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84951870489

SN - 9783319235332

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 226

EP - 236

BT - Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

A2 - Blass, Andreas

A2 - Finkbeiner, Bernd

A2 - Dershowitz, Nachum

A2 - Schulte, Wolfram

A2 - Beklemishev, Lev D.

PB - Springer Verlag

T2 - Symposium on Yurifest, 2015

Y2 - 11 September 2015 through 12 September 2015

ER -

Haber S, Shelah S. An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers. In Blass A, Finkbeiner B, Dershowitz N, Schulte W, Beklemishev LD, editors, Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Springer Verlag. 2015. p. 226-236. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-23534-9_13

An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers

Abstract

Publication series

Conference

Bibliographical note

Funding

Access to Document

Other files and links

Fingerprint

Cite this