Publication:3727983
From MaRDI portal
zbMath0596.03050MaRDI QIDQ3727983
Anil Nerode, Jeffery B. Remmel
Publication date: 1985
survey; finite injury method; counterexamples in recursive algebra and analysis; recursive partial orderings
03D75: Abstract and axiomatic computability and recursion theory
Related Items
Dynamic notions of genericity and array noncomputability, Generic objects in recursion theory. II: Operations on recursive approximation spaces