ON EXTENSIONS OF EMBEDDINGS INTO THE ENUMERATION DEGREES OF THE {\Sigma₂⁰}-SETS

DOI10.1142/S0219061305000432MaRDI QIDQ3379460zbMATH OpenFDO

Authors Steffen Lempp, Theodore A. Slaman, Andrea Sorbi

Publication date 6 April 2006

Published in Journal of Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

partial orderenumeration degreesextensions of embeddings\(\Sigma_2\)-theory\(\Sigma^0_2\)-sets\(K\)-r.e. setse-reducibility

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• Embedding countable partial orderings in the enumeration degrees and the \(\omega \)-enumeration degrees
• A note on initial segments of the enumeration degrees
• Extensions of embeddings below computably enumerable degrees
• Embedding distributive lattices in the \(\Sigma ^0_2\) enumeration degrees
• Algebraic aspects of the computably enumerable degrees.

Cites work

• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Definability in the enumeration degrees
• Generic copies of countable structures
• On minimal pairs of enumeration degrees
• Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ₂ sets are dense
• Some Special Pairs of Σ2 e-Degrees
• Sublattices of the Recursively Enumerable Degrees
• The \(n\)-rea enumeration degrees are dense
• The d.r.e. degrees are not dense
• The recursively enumerable degrees are dense

Cited in

(15)

• Enumeration reducibility and computable structure theory
• A nonlow\(_2\) r. e. degree with the extension of embeddings properties of a low\(_2\) degree
• Embedding countable partial orderings in the enumeration degrees and the \(\omega \)-enumeration degrees
• Interpreting true arithmetic in the \(\Delta_2^0\)-enumeration degrees
• The Π₃-theory of the -enumeration degrees is undecidable
• Extensions of two constructions of Ahmad
• Extensions of Embeddings in the Computably Enumerable Degrees
• Fragments of the theory of the enumeration degrees
• Goodness in the enumeration and singleton degrees
• A note on initial segments of the enumeration degrees
• Extensions of embeddings below computably enumerable degrees
• On cupping and Ahmad pairs
• scientific article; zbMATH DE number 841095 (Why is no real title available?)
• scientific article; zbMATH DE number 1048046 (Why is no real title available?)
• Initial segments of the \({\Sigma}_2^0\) enumeration degrees

This page was built for publication: ON EXTENSIONS OF EMBEDDINGS INTO THE ENUMERATION DEGREES OF THE ${\Sigma_2^0}$-SETS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3379460)