2 papers
math.LO2018
Ehrenfeucht-Fraisse games on a class of scattered linear orders
Feresiano Mwesigye, John K. Truss
Two structures and are -equivalent if player II has a winning strategy in the -move Ehrenfeucht-Fraïssé game on and . In earlier papers we studied -equivale…
math.LO2017
On optimal representatives of finite coloured linear orders
Feresiano Mwesigye, John K Truss
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 fin…