Author:
Boolos George,Putnam Hilary
Abstract
Why the Post-Kleene arithmetical hierarchy of degrees of (recursive) unsolvability was extended into the transfinite is not clear. Perhaps it was thought that if a hierarchy of sufficiently fine structure could be described that would include all sets of integers, some light might be thrown on the Continuum Hypothesis, and its truth or falsity possibly even ascertained. There is also some evidence in the 1955 papers of Kleene (cf. Kleene [2], [3], [4]) that it was once hoped that a theorem for the analytical hierarchy analogous to the result of Post and Kleene
Publisher
Cambridge University Press (CUP)
Reference18 articles.
1. Arithmetical predicates and function quantifiers
2. Boyd R. , Hensel G. , and Putnam H. , [1] On an intrinsic characterization of the ramified analytic hierarchy (to appear).
3. A note on function quantification
4. Proof of Mostowski's conjecture;Gandy;Bulletin de l' Académie Polonaise des Sciences, Série des Sciences, Mathematiques, Astronomiques,1960
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献