scientific article; zbMATH DE number 749940
From MaRDI portal
Publication:4764120
zbMath0820.03037MaRDI QIDQ4764120
Publication date: 28 August 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
reverse mathematicswell-orderingssecond-order arithmeticlinear orderingsproof-theoretical strengthFraissé's conjecture
Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)
Related Items (7)
Equivalence between Fraïssé's conjecture and Jullien's theorem ⋮ Countably complementable linear orderings ⋮ Fraïssé’s conjecture in Π11-comprehension ⋮ The Reverse Mathematics of wqos and bqos ⋮ Embeddings between well-orderings: computability-theoretic reductions ⋮ Laver and set theory ⋮ On Fraïssé's conjecture for linear orders of finite Hausdorff rank
This page was built for publication:
