RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2016 Volume 55, Number 3, Pages 328–340 (Mi al744)

This article is cited in 5 papers

Embeddability of the semilattice $\mathbf{L^0_m}$ in Rogers semilattices

B. S. Kalmurzaev

Al-Farabi Kazakh National University, Al-Farabi Ave. 71, Alma-Ata, 050038 Kazakhstan

Abstract: We give sufficient conditions under which an upper semilattice of computably enumerable $\mathbf 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.

Keywords: computably enumerable $\mathbf m$-degrees, Rogers semilattice, Ershov hierarchy.

UDC: 510.54

Received: 07.04.2015
Revised: 24.08.2015

DOI: 10.17377/alglog.2016.55.303


 English version:
Algebra and Logic, 2016, 55:3, 217–225

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024