Photo from archive.org
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. We extend earlier results about n-equivalence classes… Click to show full 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. We extend earlier results about n-equivalence classes 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.
Keywords:
coloured linear;
representatives finite;
optimal representatives;
finite coloured;
linear orders
Journal Title: Order
Year Published: 2019
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Order
Year Published: 2019
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!