scientific article; zbMATH DE number 2236642
From MaRDI portal
Publication:5711893
zbMath1083.03052MaRDI QIDQ5711893
Publication date: 8 December 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
reverse mathematicsquasi-orderbetter quasi-orderHigmanclosure of orders under elementary operationsNash-Williams
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items (14)
Reverse mathematics, well-quasi-orders, and Noetherian spaces ⋮ Equivalence between Fraïssé's conjecture and Jullien's theorem ⋮ Some intuitionistic equivalents of classical principles for degree 2 formulas ⋮ Fraïssé’s conjecture in Π11-comprehension ⋮ 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 ⋮ Well, Better and In-Between ⋮ The Reverse Mathematics of wqos and bqos ⋮ Laver and set theory ⋮ THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES ⋮ REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION ⋮ On Fraïssé's conjecture for linear orders of finite Hausdorff rank ⋮ Extending partial orders to dense linear orders
This page was built for publication:
