Recursive functions over well ordered partial orderings
作者： Hartley Rogers
DOI: 10.1090/S0002-9939-1959-0111685-8
关键词: Total order 、 Combinatorics 、 Ordered vector space 、 μ operator 、 Recursive functions 、 Mathematics
摘要:
ams.org
sci-hub.st 参考文章(6)
Ernest Zermelo, Grundlagen einer allgemeinen Theorie der mathematischen Satzsysteme Fundamenta Mathematicae. ,vol. 25, pp. 136- 146 ,(1935) , 10.4064/FM-25-1-136-146
H. Rasiowa, Introduction to Metamathematics ,(1952)
S. C. Kleene, Hierarchies of number-theoretic predicates Bulletin of the American Mathematical Society. ,vol. 61, pp. 193- 213 ,(1955) , 10.1090/S0002-9904-1955-09896-3
Clifford Spector, Recursive Well-Orderings Journal of Symbolic Logic. ,vol. 20, pp. 151- 163 ,(1955) , 10.2307/2266902
S. C. Kleene, On notation for ordinal numbers Journal of Symbolic Logic. ,vol. 3, pp. 150- 155 ,(1938) , 10.2307/2267778
S. C. Kleene, Arithmetical predicates and function quantifiers Transactions of the American Mathematical Society. ,vol. 79, pp. 312- 340 ,(1955) , 10.1090/S0002-9947-1955-0070594-4