一类散列线性序上的 Ehrenfeucht-Fraisse 博弈
逻辑
2018-01-03 v1
摘要
若玩家 II 在 A 与 B 上的 n 步 Ehrenfeucht-Fra"iss\'e 博弈中有获胜策略，则两个结构 A 和 B 是 n-等价的。在早先的论文中，我们研究了序数及带色序数的 n-等价类。在本文中，我们类似地处理一类散列序类型，聚焦于 及其逆 中的单项式与单项式之和。
引用
@article{arxiv.1801.00627,
title = {Ehrenfeucht-Fraisse games on a class of scattered linear orders},
author = {Feresiano Mwesigye and John K. Truss},
journal= {arXiv preprint arXiv:1801.00627},
year = {2018}
}