Embeddability of the Semilattice Lm0 in Rogers Semilattices


Citar

Texto integral

Acesso aberto Acesso aberto
Acesso é fechado Acesso está concedido
Acesso é fechado Somente assinantes

Resumo

We give sufficient conditions under which an upper semilattice of computably enumerable m-degrees is isomorphic to an ideal of a Rogers semilattice of a two-element family of sets in the Ershov hierarchy. It is shown that the given conditions are not necessary.

Sobre autores

B. Kalmurzaev

Al-Farabi Kazakh National University

Autor responsável pela correspondência
Email: birzhan_mm@mail.ru
Cazaquistão, Al-Farabi Ave. 71, Alma-Ata, 050038

Arquivos suplementares

Arquivos suplementares
Ação
1. JATS XML

Declaração de direitos autorais © Springer Science+Business Media New York, 2016