Refinement of proof-theoretic analysis of the lpo due to Buchholz
arXiv:2008.07124
Abstract
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.