Non-deterministic Epsilon Substitution Method for PA and ID 1

DOI10.1007/978-3-319-10103-3_17zbMath1380.03063OpenAlexW2346890014MaRDI QIDQ5361259

Grigori 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

terminationarithmetical inductive definitionsnon-deterministic substitutionPenno arithmetic

Mathematics Subject Classification ID

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

Related Items (1)

Epsilon substitution for \(ID_1\) via cut-elimination

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