Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition

Michael Rathjen, Jeroen Van der Meeren, Andreas Weiermann

In this article we investigate whether the addition-free theta functions form a canonical notation system for the linear versions of Friedman's well-partial-orders with the so-call…