Fragments of the theory of the enumeration degrees
type: Item
instance of: scholarly article
title: Fragments of the theory of the enumeration degrees
author: Steffen Lempp
author: Theodore A. Slaman
author: Mariya I. Soskova
published in: Advances in Mathematics
publication date: 2021-04-23T00:00:00Z
Mathematics Subject Classification ID: 03D30
zbMATH DE Number: 7337378
zbMATH Keywords: enumeration degrees
zbMATH Keywords: decidability
zbMATH Keywords: fragments of theory
zbMATH Keywords: extension of embeddings problem
MaRDI profile type: Publication
full work available at URL: j.aim.2021.107686
OpenAlex ID: W3138894201
cites work: Q5331549
cites work: The Π20 enumeration degrees are not dense
cites work: Q3487329
cites work: Several results on upper semilattices and m-degrees
cites work: Reducibility and Completeness for Sets of Integers
cites work: The Π3-theory of the -enumeration degrees is undecidable
cites work: Empty intervals in the enumeration degrees
cites work: The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable
cites work: ON EXTENSIONS OF EMBEDDINGS INTO THE ENUMERATION DEGREES OF THE ${\Sigma_2^0}$-SETS
cites work: Initial segments of the degrees of unsolvability
cites work: Q3329452
cites work: Decidability and Invariant Classes for Degree Structures
cites work: Reducibility orderings: Theories, definability and automorphisms
cites work: Undecidable fragments of elementary theories
cites work: Arithmetical Reducibilities I
cites work: The Theory of the Degrees below 0 ′
cites work: First-order theory of the degrees of recursive unsolvability
cites work: Extension of embeddings in the computably enumerable degrees
cites work: A note on initial segments of the enumeration degrees
cites work: Definability in the enumeration degrees
DOI: 10.1016/J.AIM.2021.107686
description: scientific article; zbMATH DE number 7337378