Publisher's Synopsis
An advanced mathematics study assuming in the reader no course in Godel's L, and no previous acquaintance with forcing; the more background in classical recursive theory, the better, but almost none might be enough. The sections cover hyperarithmetic sets, metarecursion, alpha-recursion, and E-recursion. Some individual chapters discuss the hyperar