The infinite injury priority method
From MaRDI portal
Publication:4094861
DOI10.2307/2272252zbMath0329.02019MaRDI QIDQ4094861
Publication date: 1976
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272252
03D30: Other degrees and reducibilities in computability and recursion theory
Related Items
The Quotient Semilattice of the Recursively Enumerable Degrees Modulo the Cappable Degrees, Degree theory on \(\aleph_\omega\), Friedberg splittings of recursively enumerable sets, 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, On Pairs of Recursively Enumerable Degrees, An Algebraic Decomposition of the Recursively Enumerable Degrees and the Coincidence of Several Degree Classes with the Promptly Simple Degrees, 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