Ehrenfeucht-Fraisse games on a class of scattered linear orders

Abstract

Two structures A and B are n-equivalent if player II has a winning strategy in the n-move Ehrenfeucht-Fra\"iss\'e 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 ω*.

0

Turn this paper into a lesson

ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…