scientific article; zbMATH DE number 1048046

MaRDI QIDQ4348132zbMATH OpenFDO

Authors Andrea Sorbi

Publication date 12 August 1997

zbMATH Keywords

enumeration degreessurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• Branching in the enumeration degrees of the _2⁰ sets
• Total Degrees and Nonsplitting Properties of $\Sigma_2^0$ Enumeration Degrees
• ON EXTENSIONS OF EMBEDDINGS INTO THE ENUMERATION DEGREES OF THE ${\Sigma_2^0}$-SETS
• Properly Σ2 Enumeration Degrees
• Theory and Applications of Models of Computation
• Properly enumeration degrees and the high/low hierarchy
• Initial segments of the \({\Sigma}_2^0\) enumeration degrees
• The  -Enumeration Degrees
• Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets
• Partial degrees and the density problem. Part 2: The enumeration degrees of the Σ₂ sets are dense

Cited in

(19)

• Branching in the enumeration degrees of the _2⁰ sets
• Comparing the degrees of enumerability and the closed Medvedev degrees
• Splitting and nonsplitting in the \(\Sigma_2^0\) enumeration degrees
• Avoiding uniformity in the \(\Delta_2^0\) enumeration degrees
• Total Degrees and Nonsplitting Properties of $\Sigma_2^0$ Enumeration Degrees
• Enumeration Degrees and Enumerability of Familes
• Badness and jump inversion in the enumeration degrees
• There are 2^{ℵ₀} many 𝐻-degrees in the random reals
• scientific article; zbMATH DE number 1420832 (Why is no real title available?)
• A set with barely degree
• scientific article; zbMATH DE number 7139148 (Why is no real title available?)
• scientific article; zbMATH DE number 7360060 (Why is no real title available?)
• Definability via Kalimullin pairs in the structure of the enumeration degrees
• Cupping and definability in the local structure of the enumeration degrees
• Cupping \Delta₂⁰ Enumeration Degrees to 0 e ′
• η-representation of sets and degrees
• The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees
• Strong enumeration reducibilities
• Goodness in the enumeration and singleton degrees

This page was built for publication:

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