Positional strategies in long Ehrenfeucht-Fraïssé games
| Authors |
|
|---|---|
| Publication date | 2015 |
| Journal | Journal of Symbolic Logic |
| Volume | Issue number | 80 | 1 |
| Pages (from-to) | 285-300 |
| Organisations |
|
| Abstract | We prove that it is relatively consistent with ZF + CH that there exist two models of cardinality 2א such that the second player has a winning strategy in the Ehrenfeucht-Fraï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. |
| Document type | Article |
| Note | © The Association for Symbolic Logic 2015 |
| Language | English |
| Published at | https://doi.org/10.1017/jsl.2014.43 |
| Downloads |
472359
(Final published version)
|
| Permalink to this page | |