Analysis of a Double Kruskal Theorem

DOI10.1090/TRAN/6972zbMath1423.06005arXiv1603.01900OpenAlexW2963502670MaRDI QIDQ2951923

No author found.

Publication date: 10 January 2017

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1603.01900

Mathematics Subject Classification ID

Trees (05C05) Combinatorics of partially ordered sets (06A07) Recursive ordinals and ordinal notations (03F15) Gödel numberings and issues of incompleteness (03F40)

Related Items (2)

Pure \(\Sigma_2\)-elementarity beyond the core ⋮ A Glimpse of $$ \sum_{3} $$-elementarity

Cites Work

• Harvey Friedman's research on the foundations of mathematics
• A new system of proof-theoretic ordinal functions
• Proof-theoretic investigations on Kruskal's theorem
• Well-quasi-orderings and sets of finite sequences
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• Generalizing Kruskal's theorem to pairs of cohabitating trees
• Unnamed Item
• Unnamed Item

This page was built for publication: Analysis of a Double Kruskal Theorem