Author:
Marcone Alberto,Montalbán Antonio
Reference28 articles.
1. Reverse mathematics and the equivalence of definitions for well and better quasi-orders;Cholak;J. Symbolic Logic,2004
2. The metamathematics of scattered linear orderings;Clote;Arch. Math. Logic,1989
3. The metamathematics of Fraïssé’s order type conjecture;Clote,1990
4. Well-partial orderings and hierarchies;de Jongh;Nederl. Akad. Wetensch. Proc. Ser. A 80=Indag. Math.,1977
5. Sur la comparaison des types d’ordres;Fraïssé;C. R. Acad. Sci. Paris,1948
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Euclidean algorithm for a class of linear orders;Discrete Mathematics;2023-12
2. On the logical strength of the better quasi order with three elements;Transactions of the American Mathematical Society;2023-06-21
3. Some independence results related to finite trees;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. The Reverse Mathematics of wqos and bqos;Trends in Logic;2020