The infinite injury priority method

DOI10.2307/2272252MaRDI QIDQ4094861zbMATH OpenOpenAlexFDO

Authors Robert I. Soare

Publication date 1976

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

Full work available at URL https://doi.org/10.2307/2272252

Mathematics Subject Classification ID

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

Cited in

(17)

• The density of the nonbranching degrees
• Structural interactions of the recursively enumerable T- and W-degrees
• Intervals and sublattices of the r.e. weak truth table degrees. I: Density
• Maximal theories
• The independence of control structures in abstract programming systems
• Splitting properties and jump classes
• An Algebraic Decomposition of the Recursively Enumerable Degrees and the Coincidence of Several Degree Classes with the Promptly Simple Degrees
• On Pairs of Recursively Enumerable Degrees
• Hierarchy of Computably Enumerable Degrees II
• Localization of a theorem of Ambos-Spies and the strong anti-splitting property
• Density of recursively inseparable R. E. Sets and universal recrusively inseparability
• Branching Degrees above low Degrees
• Recursively enumerable sets and degrees
• The Quotient Semilattice of the Recursively Enumerable Degrees Modulo the Cappable Degrees
• Degree theory on \(\aleph_\omega\)
• Friedberg splittings of recursively enumerable sets
• Notes on Sacks' splitting theorem

This page was built for publication: The infinite injury priority method

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