On optimal representatives of finite coloured linear orders

Feresiano Mwesigye,John K Truss
DOI: https://doi.org/10.48550/arXiv.1705.04632
2017-05-12
Abstract:Two structures A and B are n-equivalent if player II has a winning strategy in the n-move Ehrenfeucht-Fraisse game on A and B. We extend earlier results about n-equivalence for finite coloured linear orders, describing an algorithm for reducing to canonical form under 2-equivalence, and concentrating on the cases of 2 and 3 moves.
Logic
What problem does this paper attempt to address?