Positional strategies in long ehrenfeucht–fraïssé games

S. Shelah; J. Väänänen; B. Veličković

doi:10.1017/jsl.2014.43

Positional strategies in long ehrenfeucht–fraïssé games

S. Shelah
, J. Väänänen
, B. Veličković

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Abstract

We prove that it is relatively consistent with ZF + CH that there exist two models of cardinality N₂ such that the second player has a winning strategy in the Ehrenfeucht–Fräıssé-game of length ω1 but there is no σ-closed back-and-forth set for the two models. If CH fails, no such pairs of models exist.

Original language	English
Pages (from-to)	285-300
Number of pages	16
Journal	Journal of Symbolic Logic
Volume	80
Issue number	1
DOIs	https://doi.org/10.1017/jsl.2014.43
State	Published - 13 Mar 2015

Bibliographical note

Publisher Copyright:
© 2015, Association for Symbolic Logic.

Keywords

Ehrenfeucht-Fraisse game
Morass
Partial isomorphism

Access to Document

10.1017/jsl.2014.43

Cite this

@article{c3d37c2d85e7434aa7992a0a5662c695,

title = "Positional strategies in long ehrenfeucht–fra{\"i}ss{\'e} games",

abstract = "We prove that it is relatively consistent with ZF + CH that there exist two models of cardinality N2 such that the second player has a winning strategy in the Ehrenfeucht–Fr{\"a}ıss{\'e}-game of length ω1 but there is no σ-closed back-and-forth set for the two models. If CH fails, no such pairs of models exist.",

keywords = "Ehrenfeucht-Fraisse game, Morass, Partial isomorphism",

author = "S. Shelah and J. V{\"a}{\"a}n{\"a}nen and B. Veli{\v c}kovi{\'c}",

note = "Publisher Copyright: {\textcopyright} 2015, Association for Symbolic Logic.",

year = "2015",

month = mar,

day = "13",

doi = "10.1017/jsl.2014.43",

language = "אנגלית",

volume = "80",

pages = "285--300",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "1",

}

TY - JOUR

T1 - Positional strategies in long ehrenfeucht–fraïssé games

AU - Shelah, S.

AU - Väänänen, J.

AU - Veličković, B.

PY - 2015/3/13

Y1 - 2015/3/13

N2 - We prove that it is relatively consistent with ZF + CH that there exist two models of cardinality N2 such that the second player has a winning strategy in the Ehrenfeucht–Fräıssé-game of length ω1 but there is no σ-closed back-and-forth set for the two models. If CH fails, no such pairs of models exist.

AB - We prove that it is relatively consistent with ZF + CH that there exist two models of cardinality N2 such that the second player has a winning strategy in the Ehrenfeucht–Fräıssé-game of length ω1 but there is no σ-closed back-and-forth set for the two models. If CH fails, no such pairs of models exist.

KW - Ehrenfeucht-Fraisse game

KW - Morass

KW - Partial isomorphism

UR - https://www.scopus.com/pages/publications/84937905468

U2 - 10.1017/jsl.2014.43

DO - 10.1017/jsl.2014.43

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84937905468

SN - 0022-4812

VL - 80

SP - 285

EP - 300

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 1

ER -

Positional strategies in long ehrenfeucht–fraïssé games

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this