User blog comment:Denis Maksudov/Fundamental sequences for the theta-function/@comment-24920136-20170303194140/@comment-28606698-20170303195445

You are right. I added reference to definition Feferman theta-function on page "Ordinal notation" of this wikia.