scientific article
From MaRDI portal
Publication:3197820
zbMath0713.03030MaRDI QIDQ3197820
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
better quasi-orderingwell quasi-orderingarithmetic transfinite recursionfinitely axiomatizable subsystems of second order arithmeticscattered linear orderingwell partial ordering
Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15) Complexity of proofs (03F20)
Related Items (4)
Equivalence between Fraïssé's conjecture and Jullien's theorem ⋮ Fraïssé’s conjecture in Π11-comprehension ⋮ The Reverse Mathematics of wqos and bqos ⋮ On Fraïssé's conjecture for linear orders of finite Hausdorff rank
This page was built for publication:
