Embeddability of the Semilattice Lm0 in Rogers Semilattices


Cite item

Full Text

Open Access Open Access
Restricted Access Access granted
Restricted Access Subscription Access

Abstract

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.

About the authors

B. S. Kalmurzaev

Al-Farabi Kazakh National University

Author for correspondence.
Email: birzhan_mm@mail.ru
Kazakhstan, Al-Farabi Ave. 71, Alma-Ata, 050038

Supplementary files

Supplementary Files
Action
1. JATS XML

Copyright (c) 2016 Springer Science+Business Media New York