A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
[article]
2015
arXiv
pre-print
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-called gap-condition over a finite set of 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 than ε_0. We further show that the maximal order
arXiv:1505.01359v1
fatcat:qvtn4hwggnckxeykoz7w5iwcaq