Author:
SHELAH S.,VÄÄNÄNEN J.,VELIČKOVIĆ B.
Abstract
AbstractWe prove that it is relatively consistent with ZF + CH that there exist two models of cardinality $\aleph _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.
Publisher
Cambridge University Press (CUP)
Reference10 articles.
1. An Isomorphism Theorem for Real-Closed Fields
2. Games and infinitary languages;Hyttinen;Ann. Acad. Sci. Fenn. Ser. A I Math. Dissertationes,1987
3. Games played on partial isomorphisms