The reverse mathematics of wqos and bqos

DOI10.1007/978-3-030-30229-0_8MaRDI QIDQ3295152zbMATH OpenOpenAlexFDO

Authors Alberto Marcone

Publication date 8 July 2020

Published in Trends in Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Partial orders, general (06A06) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Abstract: In this paper we survey wqo and bqo theory from the reverse mathematics perspective. We consider both elementary results (such as the equivalence of different definitions of the concepts, and basic closure properties) and more advanced theorems. The classification from the reverse mathematics viewpoint of both kinds of results provides interesting challenges, and we cover also recent advances on some long standing open problems.

Recommendations

• scientific article; zbMATH DE number 2236642
• Reverse mathematics, well-quasi-orders, and Noetherian spaces
• Reverse mathematics and the equivalence of definitions for well and better quasi-orders
• Well, better and in-between
• Towards better: a motivated introduction to better-quasi-orders

Cites work

• scientific article; zbMATH DE number 4172969 (Why is no real title available?)
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 4033746 (Why is no real title available?)
• scientific article; zbMATH DE number 4068856 (Why is no real title available?)
• scientific article; zbMATH DE number 956479 (Why is no real title available?)
• scientific article; zbMATH DE number 3677903 (Why is no real title available?)
• scientific article; zbMATH DE number 3697170 (Why is no real title available?)
• scientific article; zbMATH DE number 16105 (Why is no real title available?)
• scientific article; zbMATH DE number 3501550 (Why is no real title available?)
• scientific article; zbMATH DE number 3536056 (Why is no real title available?)
• scientific article; zbMATH DE number 1303201 (Why is no real title available?)
• scientific article; zbMATH DE number 749940 (Why is no real title available?)
• scientific article; zbMATH DE number 863474 (Why is no real title available?)
• scientific article; zbMATH DE number 3232673 (Why is no real title available?)
• scientific article; zbMATH DE number 3248824 (Why is no real title available?)
• scientific article; zbMATH DE number 3334141 (Why is no real title available?)
• scientific article; zbMATH DE number 2236642 (Why is no real title available?)
• scientific article; zbMATH DE number 3198033 (Why is no real title available?)
• scientific article; zbMATH DE number 3052455 (Why is no real title available?)
• Combinatorial principles weaker than Ramsey's Theorem for pairs
• Computable linearizations of well-partial-orderings
• Computing maximal chains
• Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
• Equivalence between Fraïssé's conjecture and Jullien's theorem
• Foundations of BQO Theory
• Fraïssé's conjecture in \(\Pi_1^1\)-comprehension
• Grundlagen der Mathematik I
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On Fraissé's order type conjecture
• On Fraïssé's conjecture for linear orders of finite Hausdorff rank
• On families of mutually exclusive sets
• On the strength of Ramsey's theorem
• Open questions in reverse mathematics
• Ordered sets
• Ordering by Divisibility in Abstract Algebras
• Ordinal numbers and the Hilbert basis theorem
• Partial impredicativity in reverse mathematics
• Partial orders and immunity in reverse mathematics
• Partially well ordered sets and partial ordinals
• Program termination and well partial orderings
• Proof-theoretic investigations on Kruskal's theorem
• REVERSE MATHEMATICS OF MF SPACES
• Reverse mathematics and initial intervals
• Reverse mathematics and ordinal exponentiation
• Reverse mathematics and the equivalence of definitions for well and better quasi-orders
• Reverse mathematics and well-ordering principles
• Reverse mathematics, Young diagrams, and the ascending chain condition
• Reverse mathematics, well-quasi-orders, and Noetherian spaces
• Separating principles below Ramsey's theorem for pairs
• Subsystems of second order arithmetic
• The Veblen functions for computability theorists
• The maximal linear extension theorem in second order arithmetic
• The prehistory of the subsystems of second-order arithmetic
• Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• \(\mathsf{RT}_{2}^{2}\) does not imply \(\mathsf{WKL}_{0}\)

Cited in

(4)

• A constructive picture of Noetherian conditions and well quasi-orders
• Reverse mathematics, well-quasi-orders, and Noetherian spaces
• scientific article; zbMATH DE number 2236642 (Why is no real title available?)
• Reverse mathematics and the equivalence of definitions for well and better quasi-orders

This page was built for publication: The reverse mathematics of wqos and bqos

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3295152)