On Optimal Representatives of Finite Coloured Linear Orders

被引：0
|
作者：
F. Mwesigye
J. K. Truss
机构：
[1] University of Leeds,Department of Pure Mathematics
[2] Mbarara University of Science and Technology,Department of Mathematics
来源：
Order | 2019年 / 36卷
关键词：
Coloured linear order; Ehrenfeucht-Fraïssé game; Optimality; Classification;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：107 / 117
页数：10
相关论文
共 50 条
  • [1] On Optimal Representatives of Finite Coloured Linear Orders
    Mwesigye, F.
    Truss, J. K.
    [J]. ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2019, 36 (01): : 107 - 117
  • [2] Countably categorical coloured linear orders
    Mwesigye, Feresiano
    Truss, John K.
    [J]. MATHEMATICAL LOGIC QUARTERLY, 2010, 56 (02) : 159 - 163
  • [3] Classification of Finite Coloured Linear Orderings
    Mwesigye, Feresiano
    Truss, John Kenneth
    [J]. ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2011, 28 (03): : 387 - 397
  • [4] Classification of Finite Coloured Linear Orderings
    Feresiano Mwesigye
    John Kenneth Truss
    [J]. Order, 2011, 28 : 387 - 397
  • [5] OPTIMAL LINEAR FILTERING AND LAGGING FILTERING OF COLOURED NOISE
    ROBERTS, AP
    [J]. INTERNATIONAL JOURNAL OF CONTROL, 1968, 8 (04) : 401 - +
  • [6] APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES
    Kellerman, Ruaan
    Goranko, Valentin
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2021, 86 (03) : 1035 - 1065
  • [7] Normalizable linear orders and generic computations in finite models
    Alexei P. Stolboushkin
    Michael A. Taitslin
    [J]. Archive for Mathematical Logic, 1999, 38 : 257 - 271
  • [8] Calculating the set of orders of elements in the finite linear groups
    Darafsheh, M. R.
    Farjami, Y.
    [J]. JOURNAL OF DISCRETE MATHEMATICAL SCIENCES & CRYPTOGRAPHY, 2007, 10 (05): : 637 - 653
  • [9] Normalizable linear orders and generic computations in finite models
    Stolboushkin, AP
    Taitslin, MA
    [J]. ARCHIVE FOR MATHEMATICAL LOGIC, 1999, 38 (4-5) : 257 - 271
  • [10] Countable homogeneous coloured partial orders
    de Sousa, S. Torrezao
    Truss, J. K.
    [J]. DISSERTATIONES MATHEMATICAE, 2008, (455) : 1 - 48
12345