The Reverse Mathematics of wqos and bqos

DOI10.1007/978-3-030-30229-0_8zbMath1496.03035arXiv1707.08365OpenAlexW2738275114MaRDI QIDQ3295152

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)

Related Items (1)

A constructive picture of Noetherian conditions and well quasi-orders

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reverse mathematics, well-quasi-orders, and Noetherian spaces
• Reverse mathematics and initial intervals
• Computing maximal chains
• The maximal linear extension theorem in second order arithmetic
• On Fraïssé's conjecture for linear orders of finite Hausdorff rank
• Proof-theoretic investigations on Kruskal's theorem
• Reverse mathematics and ordinal exponentiation
• Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
• Ordered sets
• On the strength of Ramsey's theorem
• Equivalence between Fraïssé's conjecture and Jullien's theorem
• Computable linearizations of well-partial-orderings
• On Fraissé's order type conjecture
• On families of mutually exclusive sets
• RT₂² does not imply WKL₀
• The Veblen functions for computability theorists
• Open Questions in Reverse Mathematics
• Partial Orders and Immunity in Reverse Mathematics
• Combinatorial principles weaker than Ramsey's Theorem for pairs
• REVERSE MATHEMATICS OF MF SPACES
• Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
• Ordinal numbers and the Hilbert basis theorem
• Foundations of BQO Theory
• Fraïssé’s conjecture in Π11-comprehension
• Non-Hausdorff Topology and Domain Theory
• REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION
• THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
• Program termination and well partial orderings
• Partial impredicativity in reverse mathematics
• Reverse mathematics and the equivalence of definitions for well and better quasi-orders
• SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS
• Partially well ordered sets and partial ordinals
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• Grundlagen der Mathematik I
• Ordering by Divisibility in Abstract Algebras

This page was built for publication: The Reverse Mathematics of wqos and bqos