Towards an analysis of proofs in arithmetic

DOI10.4204/EPTCS.421.6MaRDI QIDQ6933981zbMATH OpenFDO

Authors Alexander Leitsch, Anela Lolic, Stella Mahler

Publication date 3 September 2025

Full work available at URL https://doi.org/10.4204/EPTCS.421.6

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30)

Cites work

• CERES for first-order schemata
• CERES: An analysis of Fürstenberg's proof of the infinity of primes
• Cut-elimination and proof schemata
• Cut-elimination for a logic with definitions and induction
• Herbrand's theorem in inductive proofs
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• On the Infinitude of Primes
• Proof theory. 2nd ed
• Schematic refutations of formula schemata
• Sequent calculi for induction and infinite descent

This page was built for publication: Towards an analysis of proofs in arithmetic

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