A Computably Enumerable Partial Ordering Without Computably Enumerable Maximal Chains and Antichains

被引：0
|
作者：
A. S. Morozov
机构：
[1] Sobolev Institute of Mathematics Novosibirsk State University,
来源：
Siberian Mathematical Journal | 2018年 / 59卷
关键词：
computable order; computably enumerable order; chain; antichain;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We construct a computably enumerable partial ordering having neither computably enumerable maximal chains nor computably enumerable maximal antichains.
引用
收藏
页码：463 / 469
页数：6
相关论文
共 50 条
  • [1] A Computably Enumerable Partial Ordering Without Computably Enumerable Maximal Chains and Antichains
    Morozov, A. S.
    SIBERIAN MATHEMATICAL JOURNAL, 2018, 59 (03) : 463 - 469
  • [2] Computably Enumerable Partial Orders
    Cholak, Peter A.
    Dzhafarov, Damir D.
    Schweber, Noah
    Shore, Richard A.
    COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2012, 1 (02): : 99 - 107
  • [3] Maximal Pairs of Computably Enumerable Sets in the Computably Lipschitz Degrees
    Klaus Ambos-Spies
    Decheng Ding
    Yun Fan
    Wolfgang Merkle
    Theory of Computing Systems, 2013, 52 : 2 - 27
  • [4] Maximal Pairs of Computably Enumerable Sets in the Computably Lipschitz Degrees
    Ambos-Spies, Klaus
    Ding, Decheng
    Fan, Yun
    Merkle, Wolfgang
    THEORY OF COMPUTING SYSTEMS, 2013, 52 (01) : 2 - 27
  • [5] Every computably enumerable random real is provably computably enumerable random
    Calude, Cristian S.
    Hay, Nicholas J.
    LOGIC JOURNAL OF THE IGPL, 2009, 17 (04) : 351 - 374
  • [6] On computably enumerable structures
    Khoussainov B.
    Lobachevskii Journal of Mathematics, 2014, 35 (4) : 339 - 347
  • [7] Computably Enumerable Equivalence Relations
    Gao S.
    Gerdes P.
    Studia Logica, 2001, 67 (1) : 27 - 59
  • [8] Relatively computably enumerable reals
    Bernard A. Anderson
    Archive for Mathematical Logic, 2011, 50 : 361 - 365
  • [9] Presentations of computably enumerable reals
    Downey, RG
    LaForte, GL
    THEORETICAL COMPUTER SCIENCE, 2002, 284 (02) : 539 - 555
  • [10] Relatively computably enumerable reals
    Anderson, Bernard A.
    ARCHIVE FOR MATHEMATICAL LOGIC, 2011, 50 (3-4): : 361 - 365
12345