Normal forms for derivations in Arai's \(\text{AI}_\xi^-\)

DOI10.21099/TKBJM/1496163583zbMath0923.03065OpenAlexW1590176016MaRDI QIDQ1277150

Kazuma Ikeda

Publication date: 2 February 1999

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496163583

zbMATH Keywords

inductive definitionsnormalization theorem

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30)

This page was built for publication: Normal forms for derivations in Arai's \(\text{AI}_\xi^-\)