arXiv subjects

Feresiano Mwesigye

Publications and source records attributed to Feresiano Mwesigye.

2 recordsLinked to original sources

arXiv2018

Ehrenfeucht-Fraisse games on a class of scattered linear orders

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$. 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 $ω^*$.

math.LO↗

arXiv2017

On optimal representatives of finite coloured linear orders

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.

math.LO↗