6 research outputs found

    Ehrenfeucht–Fraïssé games on ordinals

    Get PDF
    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. Ordinals and m-coloured ordinals are studied up to n-equivalence for various values of m and n

    Classification of Finite Coloured Linear Orderings

    No full text
    corecore