Abstract
Metarecursion theory is an analogue of recursion theory which deals with sets of recursive, or constructive, ordinals rather than of natural numbers. It was originated by Kreisel and Sacks [3], who make extensive use of an equation calculus developed by Kripke. We assume that the reader is acquainted with the outline of it given in [3], and especially in [3, §3].
Publisher
Cambridge University Press (CUP)
Reference7 articles.
1. Three theorems on the degrees of recursively enumerable sets
2. Metarecursively enumerable sets and admissible ordinals
3. Metarecursive sets;Kreisel;this Journal,1965
4. Three theorems on recursive enumeration;Friedberg;this Journal,1958
5. A maximal set which is not complete;Sacks;Michigan Mathematical Journal,1964
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献