User blog comment:Denis Maksudov/Fundamental sequences for extended Veblen-function/@comment-30118230-20170302201257

How far are you planning to go with this definition?