User blog comment:Scorcher007/Analysis DAN up to Z2/@comment-35470197-20180828141502

> Analysis DAN up to Z2

Do you have a recursive way to comute the expression corresponing to an abstract ordinal \(\alpha\) below the PTO of \(\textrm{Z}_2\) under your assumtions?

Or is this a table on your conjecture?