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

被引:0
|
作者
A. S. Morozov
机构
[1] Sobolev Institute of Mathematics Novosibirsk State University,
来源
关键词
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 条