长 Ehrenfeucht-Fraïssé 博弈中的位置策略
逻辑
2013-08-02 v1
摘要
我们证明了相对于 ZF + CH 是一致的：存在两个基数为 的模型，使得第二玩家在长度为 的 Ehrenfeucht-Fraïssé 博弈中拥有获胜策略，但这两个模型之间不存在 -闭的后前集 (back-and-forth set)。如果 CH 不成立，则不存在这样的模型对。
引用
@article{arxiv.1308.0156,
title = {Positional strategies in long Ehrenfeucht-Fraiss\'e games},
author = {Saharon Shelah and Jouko Väänänen and Boban Velickovic},
journal= {arXiv preprint arXiv:1308.0156},
year = {2013}
}