Part D - E-Recursion
Published online by Cambridge University Press: 24 March 2017
Summary
Erecursion theory extends the notion of computation from hereditarily finite sets to sets of arbitrary rank. Selection theorems, forcing arguments and priority constructions are developed in the setting of E-recursive enumerability.
- Type
- Chapter
- Information
- Higher Recursion Theory , pp. 231 - 232Publisher: Cambridge University PressPrint publication year: 2017