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 language | English |
---|---|
Pages (from-to) | 285-300 |
Number of pages | 16 |
Journal | Journal of Symbolic Logic |
Volume | 80 |
Issue number | 1 |
DOIs | |
State | Published - 13 Mar 2015 |
Bibliographical note
Publisher Copyright:© 2015, Association for Symbolic Logic.
Keywords
- Ehrenfeucht-Fraisse game
- Morass
- Partial isomorphism