On the logical strength of the better quasi order with three elements

DOI10.1090/tran/8966arXiv2206.11132OpenAlexW4367055849MaRDI QIDQ6135847

Anton Freund

Publication date: 28 August 2023

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

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

zbMATH Keywords

reverse mathematicsbetter quasi order3 is BQO

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graph minors. XX: Wagner's conjecture
• Reverse mathematics and well-ordering principles: a pilot study
• On Fraïssé's conjecture for linear orders of finite Hausdorff rank
• Reverse mathematics and ordinal exponentiation
• Better-quasi-orderings and coinduction
• Graph minors. XIII: The disjoint paths problem
• Equivalence between Fraïssé's conjecture and Jullien's theorem
• Towards better: a motivated introduction to better-quasi-orders
• On Fraissé's order type conjecture
• The theory of well-quasi-ordering: a frequently discovered concept
• The Veblen functions for computability theorists
• Open Questions in Reverse Mathematics
• Fraïssé’s conjecture in Π11-comprehension
• Reverse mathematics and the equivalence of definitions for well and better quasi-orders

This page was built for publication: On the logical strength of the better quasi order with three elements