Reverse mathematics and the equivalence of definitions for well and better quasi-orders
From MaRDI portal
Publication:5311748
DOI10.2178/jsl/1096901762zbMath1075.03030OpenAlexW2116579313MaRDI QIDQ5311748
Alberto Marcone, Peter A. Cholak, D. Reed Solomon
Publication date: 29 August 2005
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.2098
Partial orders, general (06A06) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items (16)
The strength of infinitary Ramseyan principles can be accessed by their densities ⋮ Minimal bad sequences are necessary for a uniform Kruskal theorem ⋮ Reverse mathematics, well-quasi-orders, and Noetherian spaces ⋮ Open Questions in Reverse Mathematics ⋮ Reverse mathematics and initial intervals ⋮ Fraïssé’s conjecture in Π11-comprehension ⋮ Phase Transitions for Weakly Increasing Sequences ⋮ On the logical strength of the better quasi order with three elements ⋮ A constructive picture of Noetherian conditions and well quasi-orders ⋮ The maximal linear extension theorem in second order arithmetic ⋮ Set systems: order types, continuous nondeterministic deformations, and quasi-orders ⋮ The Reverse Mathematics of wqos and bqos ⋮ An order-theoretic characterization of the Howard-Bachmann-hierarchy ⋮ Ranked structures and arithmetic transfinite recursion ⋮ On Fraïssé's conjecture for linear orders of finite Hausdorff rank ⋮ Constructing sequences one step at a time
Cites Work
This page was built for publication: Reverse mathematics and the equivalence of definitions for well and better quasi-orders
