Graphs realised by r.e. equivalence relations

被引:18
|
作者
Gavruskin, Alexander [1 ]
Jain, Sanjay [2 ]
Khoussainov, Bakhadyr [1 ]
Stephan, Frank [3 ]
机构
[1] Univ Auckland, Dept Comp Sci, Auckland 1, New Zealand
[2] Natl Univ Singapore, Sch Comp, Singapore 117417, Singapore
[3] Natl Univ Singapore, Dept Math, Singapore 119076, Singapore
关键词
Recursively enumerable equivalence relation; Recursively enumerable structure; m-reducibility; C-reducibility; ALGEBRAS;
D O I
10.1016/j.apal.2014.04.001
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
We investigate dependence of recursively enumerable graphs on the equality relation given by a specific r.e. equivalence relation on omega. In particular we compare r.e, equivalence relations in terms of graphs they permit to represent. This defines partially ordered sets that depend on classes of graphs under consideration. We investigate some algebraic properties of these partially ordered sets. For instance, we show that some of these partial ordered sets possess atoms, minimal and maximal elements. We also fully describe the isomorphism types of some of these partial orders. (c) 2014 Elsevier B.V. All rights reserved.
引用
收藏
页码:1263 / 1290
页数:28
相关论文
共 50 条
  • [1] GILLET,R.E.
    PERSIN, PG
    [J]. CIMAISE, 1987, 34 (188-89): : 108 - 108
  • [2] GILLET,R.E.
    STOLLE, R
    [J]. GOYA, 1975, (128): : 111 - 112
  • [3] R.E. Gillet
    Clair, J
    [J]. CONNAISSANCE DES ARTS, 1999, (563): : 32 - 32
  • [4] DARBYSHIRE,R.E.
    不详
    [J]. LANCET, 1946, 250 (MAR16): : 391 - 391
  • [5] GILLET,R.E.
    MICHA, R
    [J]. ART INTERNATIONAL, 1978, 22 (02): : 44 - 44
  • [6] CONTIGUOUS R.E. DEGREES
    AMBOSSPIES, K
    [J]. LECTURE NOTES IN MATHEMATICS, 1984, 1104 : 1 - 37
  • [7] R.E. Peterson Award
    不详
    [J]. EXPERIMENTAL TECHNIQUES, 1999, 23 (03) : 73 - 73
  • [8] ROBERTS,R.E. - OBITUARY
    BARCLAY, AE
    [J]. BRITISH JOURNAL OF RADIOLOGY, 1946, 19 (226): : 435 - 436
  • [9] LEE,R.E. STROKE
    ROZEAR, MP
    MASSEY, EW
    HORNER, J
    FOLEY, E
    GREENFIELD, JC
    [J]. VIRGINIA MAGAZINE OF HISTORY AND BIOGRAPHY, 1990, 98 (02): : 291 - 308
  • [10] Matrices, graphs and equivalence relations
    Verardi L.
    [J]. Annali di Matematica Pura ed Applicata, 2002, 180 (4) : 413 - 428