Ehrenfeucht-Fraisse games on a class of scattered linear orders

Feresiano Mwesigye,John K. Truss

DOI: https://doi.org/10.48550/arXiv.1801.00627

2018-01-02

Abstract:Two structures $A$ and $B$ are $n$-equivalent if player II has a winning strategy in the $n$-move Ehrenfeucht-Fraïssé game on $A$ and $B$. In earlier papers we studied $n$-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^*$.

Logic