Funder
Horizon 2020
Government Council on Grants, Russian Federation
European Research Council
Fonds Wetenschappelijk Onderzoek
Reference19 articles.
1. Well-partial orderings and hierarchies;de Jongh;Indag. Math.,1977
2. Fusible numbers and Peano arithmetic;Erickson;Log. Methods Comput. Sci.,2022
3. HF-computability;Ershov,2011
4. Systems of predicative analysis;Feferman;J. Symb. Log.,1964
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Walk with Goodstein and Ackermann;Notre Dame Journal of Formal Logic;2024-05-01