Buchholz lpo证明理论分析的改进
Refinement of proof-theoretic analysis of the lpo due to Buchholz
摘要：
本文对W.布赫霍尔茨这篇文章写于2015年2月5日，当时G。莫泽访问了日本。
英文摘要：
We give a refinement of proof-theoretic analysis of the lpo (lexicographic path order) due to W. Buchholz. This note was written in Feb. 5, 2015 when G. Moser visited Japan.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
