A hierarchy based on a type two object
HTML articles powered by AMS MathViewer
- by J. R. Shoenfield PDF
- Trans. Amer. Math. Soc. 134 (1968), 103-108 Request permission
References
- S. C. Kleene, On the forms of the predicates in the theory of constructive ordinals, Amer. J. Math. 66 (1944), 41–58. MR 9757, DOI 10.2307/2371894
- S. C. Kleene, Hierarchies of number-theoretic predicates, Bull. Amer. Math. Soc. 61 (1955), 193–213. MR 70593, DOI 10.1090/S0002-9904-1955-09896-3
- S. C. Kleene, Recursive functionals and quantifiers of finite types. I, Trans. Amer. Math. Soc. 91 (1959), 1–52. MR 102480, DOI 10.1090/S0002-9947-1959-0102480-9
- Werner Markwald, Zur Theorie der konstruktiven Wohlordnungen, Math. Ann. 127 (1954), 135–149 (German). MR 61076, DOI 10.1007/BF01361115
- Wayne Richter, Constructive transfinite number classes, Bull. Amer. Math. Soc. 73 (1967), 261–265. MR 207557, DOI 10.1090/S0002-9904-1967-11710-5
- J. R. Shoenfield, The form of the negation of a predicate, Proc. Sympos. Pure Math., Vol. V, American Mathematical Society, Providence, R.I., 1962, pp. 131–134. MR 0142449
- Clifford Spector, Recursive well-orderings, J. Symbolic Logic 20 (1955), 151–163. MR 74347, DOI 10.2307/2266902
Additional Information
- © Copyright 1968 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 134 (1968), 103-108
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9947-1968-0263626-0
- MathSciNet review: 0263626