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

DOI10.1142/S0219061305000432zbMATH Open1097.03036MaRDI QIDQ3379460FDOQ3379460

Authors: Steffen Lempp, Theodore A. Slaman, Andrea Sorbi 

Publication date: 6 April 2006

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

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.

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)

Cites Work

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

Cited In (15)

• The Π₃-theory of the -enumeration degrees is undecidable
• Title not available (Why is that?)
• Embedding countable partial orderings in the enumeration degrees and the \(\omega \)-enumeration degrees
• Title not available (Why is that?)
• Goodness in the enumeration and singleton degrees
• Extensions of Embeddings in the Computably Enumerable Degrees
• A nonlow\(_2\) r. e. degree with the extension of embeddings properties of a low\(_2\) degree
• Fragments of the theory of the enumeration degrees
• Extensions of embeddings below computably enumerable degrees
• Interpreting true arithmetic in the \(\Delta_2^0\)-enumeration degrees
• Enumeration reducibility and computable structure theory
• Initial segments of the \({\Sigma}_2^0\) enumeration degrees
• Extensions of two constructions of Ahmad
• On cupping and Ahmad pairs
• A note on initial segments of the 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)