Author:
Freund Anton,Rathjen Michael,Weiermann Andreas
Reference40 articles.
1. Normal functors on linear orderings;Aczel;J. Symb. Log.,1967
2. Reverse mathematics and the equivalence of definitions for well and better quasi-orders;Cholak;J. Symb. Log.,2004
3. Orderings for term-rewriting systems;Dershowitz;Theor. Comput. Sci.,1982
4. Systems of predicative analysis;Feferman;J. Symb. Log.,1964
5. Type-Two Well-Ordering Principles, Admissible Sets, and Π11-Comprehension;Freund,2018
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Well ordering principles for iterated $$\Pi ^1_1$$-comprehension;Selecta Mathematica;2023-10-12
2. Modern perspectives in Proof Theory;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
3. The uniform Kruskal theorem: between finite combinatorics and strong set existence;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
4. Normal functions and maximal order types;Journal of Logic and Computation;2023-02-16
5. Bachmann–Howard derivatives;Archive for Mathematical Logic;2022-10-26