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

Michael Rathjen, Jeroen Van der Meeren, Andreas Weiermann. Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition. Arch. Math. Log., 56(5-6):607-638, 2017. [doi]

Abstract

Abstract is missing.