The reverse mathematics of wqos and bqos

DOI10.1007/978-3-030-30229-0_8zbMATH Open1496.03035arXiv1707.08365OpenAlexW2738275114MaRDI QIDQ3295152FDOQ3295152

Authors: Alberto Marcone 

Publication date: 8 July 2020

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

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.

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• A constructive picture of Noetherian conditions and well quasi-orders
• Title not available (Why is that?)
• Reverse mathematics, well-quasi-orders, and Noetherian spaces
• 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)