A new reduction sequence for arithmetic

DOI10.1007/BF01629442MaRDI QIDQ1167719zbMATH OpenOpenAlexFDO

Authors G. E. 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 eliminationderivations in formal arithmeticordinal assignmentproof theoryreduction sequence

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3074068 (Why is no real title available?)
• Normalization as a homomorphic image of cut-elimination
• Proof theory
• Some applications of Gentzens second consistency proof
• The correspondence between cut-elimination and normalization
• Untersuchungen über das logische Schliessen. I

Cited in

(2)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1167719)