TY - RPRT TI - Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition AU - Michael Rathjen AU - Jeroen Van der Meeren AU - Andreas Weiermann PY - 2015 UR - https://arxiv.org/abs/1505.01359 ID - 1505.01359 ER -