Author:
Buchholz Wilfried,Wainer Stan
Publisher
American Mathematical Society
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION;The Bulletin of Symbolic Logic;2021-06
2. Measuring Intelligence and Growth Rate: Variations on Hibbard’s Intelligence Measure;Journal of Artificial General Intelligence;2021-01-01
3. Short Proofs for Slow Consistency;Notre Dame Journal of Formal Logic;2020-01-01
4. Epsilon Numbers;Ordinal Analysis with an Introduction to Proof Theory;2020
5. Rapidly Growing Ramsey Functions;Ramsey Theory for Discrete Structures;2013