Abstract

This paper studies how we can exclude noncomputable elements of effectively given domains to obtain effective domains, and how we can obtain an effective domain which is an effectively initial solution to a recursive domain equation.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call