Positional strategies in long ehrenfeucht–fraïssé games

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

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

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äı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 languageEnglish
Pages (from-to)285-300
Number of pages16
JournalJournal of Symbolic Logic
Volume80
Issue number1
DOIs
StatePublished - 13 Mar 2015

Bibliographical note

Publisher Copyright:
© 2015, Association for Symbolic Logic.

Keywords

  • Ehrenfeucht-Fraisse game
  • Morass
  • Partial isomorphism

Fingerprint

Dive into the research topics of 'Positional strategies in long ehrenfeucht–fraïssé games'. Together they form a unique fingerprint.

Cite this