Games with backtracking options corresponding to the ordinal analysis of \textit{PA}

DOI10.1016/J.APAL.2026.103767MaRDI QIDQ7262803zbMATH OpenFDO

Authors Eitetsu Ken

Publication date 12 June 2026

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2026.103767

zbMATH Keywords

\(I \Sigma_k\)gameordinal analysisPeano arithmeticwitnessing argument

Mathematics Subject Classification ID

Complexity of proofs (03F20)

Cites work

• A combinatorial characterization of resolution width
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Fragments of approximate counting
• Fragments of arithmetic
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 1215493 (Why is no real title available?)
• scientific article; zbMATH DE number 733384 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3351517 (Why is no real title available?)
• Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie.
• Ordinal Analysis with an Introduction to Proof Theory
• Proof theory
• The consistency of arithmetics

This page was built for publication: Games with backtracking options corresponding to the ordinal analysis of \textit{PA}

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