2018/01/02 by Mwesigye, Feresiano, Truss, John K.
#03C64 #06A05 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1801.00627
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 ω and its reverse ω^*.