scientific article; zbMATH DE number 475609
From MaRDI portal
Publication:4273865
zbMath0808.03038MaRDI QIDQ4273865
Publication date: 15 March 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
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:
