Publication:4273865
From MaRDI portal
zbMath0808.03038MaRDI QIDQ4273865
Publication date: 15 March 1995
proof-theoretical strength; notation systems; subsystems of analysis; structure of proofs; theory of proofs; category of double well-quasi- orderings; proof-theoretical ordinals; provability of arithmetical sentences in recursively axiomatizable extensions of Peano Arithmetic; space of quasi-ordinals
03F30: First-order arithmetic and fragments
03F03: Proof theory in general (including proof-theoretic semantics)
03F15: Recursive ordinals and ordinal notations
Related Items
Finite methods in 1-order formalisms, Phase transitions of iterated Higman-style well-partial-orderings, Strong WQO Tree Theorems