Results for 'Feresiano Mwesigye'

Order:
  1.  23
    Countably categorical coloured linear orders.Feresiano Mwesigye & John K. Truss - 2010 - Mathematical Logic Quarterly 56 (2):159-163.
    In this paper, we give a classification of ℵ0-categorical coloured linear orders, generalizing Rosenstein's characterization of ℵ0-categorical linear orderings. We show that they can all be built from coloured singletons by concatenation and ℚn-combinations . We give a method using coding trees to describe all structures in our list.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  19
    Ehrenfeucht-fraïssé games on a class of scattered linear orders.Feresiano Mwesigye & John Kenneth Truss - 2020 - Journal of Symbolic Logic 85 (1):37-60.
    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 articles we studied n-equivalence classes of ordinals and coloured ordinals. In this article we similarly treat a class of scattered order-types, focussing on monomials and sums of monomials in ω and its reverse ω*.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  13
    Ehrenfeucht–Fraïssé games on ordinals.F. Mwesigye & J. K. Truss - 2018 - Annals of Pure and Applied Logic 169 (7):616-636.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations