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

Michael Rathjen, Jeroen Van der Meeren, Andreas Weiermann
2017 Archive for Mathematical Logic  
In this article we investigate whether the following conjecture is true or not: does the addition-free theta functions form a canonical notation system for the linear versions of Friedman's well-partial-orders with the so-called gap-condition over a finite set of n labels. Rather surprisingly, we can show this is the case for two labels, but not for more than two labels. To this end, we determine the order type of the notation systems for addition-free theta functions in terms of ordinals less
more » ... han ε 0 . We further show that the maximal order type of the Friedman ordering can be obtained by a certain ordinal notation system which is based on specific binary theta functions.
doi:10.1007/s00153-017-0559-2 fatcat:sxfnvmpdbncehppwji2a4qeaja