Ehrenfeucht-Fraisse games on a class of scattered linear orders
Logic
2018-01-03 v1
Abstract
Two structures and are -equivalent if player II has a winning strategy in the -move Ehrenfeucht-Fra\"iss\'e game on and . In earlier papers we studied -equivalence classes of ordinals and coloured ordinals. In this paper we similarly treat a class of scattered order-types, focussing on monomials and sums of monomials in and its reverse .
Cite
@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}
}