User blog comment:Ynought/Another question/@comment-35470197-20190709111103

PTO is usually defined as a recursive ordinal. Therefore it is smaller than \(\omega_1^{\textrm{CK}}\) by the definition.