Non-deterministic Epsilon Substitution Method for PA and ID 1

DOI10.1007/978-3-319-10103-3_17MaRDI QIDQ5361259zbMATH OpenOpenAlexFDO

Authors G. E. Mints

Publication date 27 September 2017

Published in Gentzen's Centenary (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10103-3_17

zbMATH Keywords

arithmetical inductive definitionsnon-deterministic substitutionPenno arithmetictermination

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Recursive ordinals and ordinal notations (03F15) First-order arithmetic and fragments (03F30)

Cited in

(4)

• Epsilon substitution method for \(\text{ID}_{1}(\Pi_{1}^{0}\vee{\Sigma} _{1}^{0})\)
• Epsilon substitution for \(ID_1\) via cut-elimination
• Strong termination for the epsilon substitution method
• scientific article; zbMATH DE number 6307937 (Why is no real title available?)

This page was built for publication: Non-deterministic Epsilon Substitution Method for PA and ID 1

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