Epsilon Substitution Method for 11 - CR: a Constructive Termination Proof

DOI10.1093/JIGPAL/11.3.367zbMath1053.03031OpenAlexW2015377148MaRDI QIDQ4454301

Sergei Tupailo

Publication date: 8 March 2004

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/11.3.367

zbMATH Keywords

cut eliminationordinal analysisEpsilon substitution methodpredicative cut elimination

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Relative consistency and interpretations (03F25)

This page was built for publication: Epsilon Substitution Method for  11 - CR: a Constructive Termination Proof