scientific article; zbMATH DE number 475609

zbMath0808.03038MaRDI QIDQ4273865

L. N. Gordeev

Publication date: 15 March 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

proof-theoretical strengthnotation systemssubsystems of analysisstructure of proofstheory of proofscategory of double well-quasi- orderingsproof-theoretical ordinalsprovability of arithmetical sentences in recursively axiomatizable extensions of Peano Arithmeticspace of quasi-ordinals

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03) Recursive ordinals and ordinal notations (03F15)

Related Items (3)

Strong WQO Tree Theorems ⋮ Phase transitions of iterated Higman-style well-partial-orderings ⋮ Finite methods in 1-order formalisms

This page was built for publication: