The infinite injury priority method
From MaRDI portal
Publication:4094861
DOI10.2307/2272252zbMath0329.02019OpenAlexW4241648600MaRDI 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
Related Items
Structural interactions of the recursively enumerable T- and W-degrees, 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, Intervals and sublattices of the r.e. weak truth table degrees. I: Density, Maximal theories, Degree theory on \(\aleph_\omega\), The Quotient Semilattice of the Recursively Enumerable Degrees Modulo the Cappable 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, The independence of control structures in abstract programming systems, Splitting properties and jump classes, Branching Degrees above low Degrees, Friedberg splittings of recursively enumerable sets, Hierarchy of Computably Enumerable Degrees II, Recursively enumerable sets and degrees, The density of the nonbranching degrees
