论文标题
Buchholz引起的LPO的证明理论分析的完善
Refinement of proof-theoretic analysis of the lpo due to Buchholz
论文作者
论文摘要
我们对W. Buchholz引起的LPO（词素路径秩序）的证明理论分析进行了改进。本说明是在2015年2月5日G. Moser访问日本时撰写的。
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.
