User blog comment:Denis Maksudov/Fundamental sequences for extended Veblen-function/@comment-24920136-20170302173936/@comment-28606698-20170303072559

Thanks. Actually I am rather familiar with rules 3.1-3.5 - if beta<omega then they are just rules 2.1-2.5 for finary Veblen function, but rules 3.6-3.9 are something new for me.