A new reduction sequence for arithmetic

DOI10.1007/BF01629442zbMath0492.03021OpenAlexW2090144410MaRDI QIDQ1167719

Grigori Mints

Publication date: 1982

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01629442

zbMATH Keywords

cut eliminationproof theoryderivations in formal arithmeticordinal assignmentreduction sequence

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Recursive ordinals and ordinal notations (03F15)

Related Items (2)

A termination proof for epsilon substitution using partial derivations ⋮ Reduction of finite and infinite derivations

Cites Work

• Unnamed Item
• Unnamed Item
• Untersuchungen über das logische Schliessen. I
• Some applications of Gentzens second consistency proof
• The correspondence between cut-elimination and normalization
• Normalization as a homomorphic image of cut-elimination
• Proof theory

This page was built for publication: A new reduction sequence for arithmetic