Provably well-founded strict partial orders

Abstract

In this note we show through infinitary derivations that each provably well-founded strict partial order in ${\mathrm{ACA}}_0$ admits an embedding to an ordinal$<{\epsilon }_0$.