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


Дәйексөз келтіру

Толық мәтін

Ашық рұқсат Ашық рұқсат
Рұқсат жабық Рұқсат берілді
Рұқсат жабық Тек жазылушылар үшін

Аннотация

We construct a computably enumerable partial ordering having neither computably enumerable maximal chains nor computably enumerable maximal antichains.

Авторлар туралы

A. Morozov

Sobolev Institute of Mathematics Novosibirsk State University

Хат алмасуға жауапты Автор.
Email: morozov@math.nsc.ru
Ресей, Novosibirsk

Қосымша файлдар

Қосымша файлдар
Әрекет
1. JATS XML

© Pleiades Publishing, Ltd., 2018