English

Ehrenfeucht-Fraisse games on a class of scattered linear orders

Logic 2018-01-03 v1

Abstract

Two structures AA and BB are nn-equivalent if player II has a winning strategy in the nn-move Ehrenfeucht-Fra\"iss\'e game on AA and BB. In earlier papers we studied nn-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 ω\omega and its reverse ω\omega^*.

Keywords

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}
}