scientific article
From MaRDI portal
Publication:3837736
zbMath0857.03035arXivmath/9408204MaRDI QIDQ3837736
Publication date: 11 March 1997
Full work available at URL: https://arxiv.org/abs/math/9408204
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
subsystem of second order arithmeticbetter-quasi-orderingcountable transfinite sequencesminimality lemmas
Related Items (12)
Minimal bad sequences are necessary for a uniform Kruskal theorem ⋮ Fundamental notions of analysis in subsystems of second-order arithmetic ⋮ Formalizing Ordinal Partition Relations Using Isabelle/HOL ⋮ The computational strength of matchings in countable graphs ⋮ Well ordering principles for iterated \(\Pi^1_1\)-comprehension ⋮ Bachmann-Howard derivatives ⋮ Fraïssé’s conjecture in Π11-comprehension ⋮ (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE ⋮ The Reverse Mathematics of wqos and bqos ⋮ An order-theoretic characterization of the Howard-Bachmann-hierarchy ⋮ FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS ⋮ On Fraïssé's conjecture for linear orders of finite Hausdorff rank
This page was built for publication:
