Publisher
American Mathematical Society (AMS)
Subject
Applied Mathematics,General Mathematics
Reference15 articles.
1. On a subrecursive hierarchy and primitive recursive degrees;Axt, Paul;Trans. Amer. Math. Soc.,1959
2. Transfinite recursive progressions of axiomatic theories;Feferman, Solomon;J. Symbolic Logic,1962
3. Incompleteness along paths in progressions of theories;Feferman, S.;J. Symbolic Logic,1962
4. D. Hilbert and P. Bernays, Grundlagen der Mathematik, Vol. II, Springer, Berlin, 1938.
5. Arithmetical predicates and function quantifiers;Kleene, S. C.;Trans. Amer. Math. Soc.,1955
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献