Recursive Functions Over Well Ordered Partial Orderings

Publisher Website

1 December 1959

journal article
Published by JSTOR in Proceedings of the American Mathematical Society

Vol. 10 (6) , 847-853
https://doi.org/10.2307/2033606

Abstract

References [Enhancements On Off] (What's this?)

Keywords

This publication has 5 references indexed in Scilit:

Arithmetical Predicates and Function Quantifiers
Transactions of the American Mathematical Society, 1955
Recursive well-orderings
The Journal of Symbolic Logic, 1955
Creative sets
Mathematical Logic Quarterly, 1955
Hierarchies of number-theoretic predicates
Bulletin of the American Mathematical Society, 1955
Introduction to Metamathematics. By S. C. Kleene. Pp. x, 550, Fl. 32.50. 1952. (Noordhoff, Groningen; North-Holland Publishing Co., Amsterdam)
The Mathematical Gazette, 1954