User blog comment:Simply Beautiful Art/Intuition behind the Mahlo OCF/@comment-35470197-20190829142904/@comment-35470197-20190829221911

> And I'm not sure where you see any thetas here.

Since I though that there is no description in this blod post, I guessed that you are talking about your comment in your anouther blog post.

> At the end of this blog post, I explained how one could deduce things such as

Oh, giving examples of fundamental sequences does not give yield a structure of an ordinal notation... Or don't you know the definition of the notion of an ordinal notation?

> deducing fundamental sequences from this is not so hard

How could you state it even though you have never done it? Rathjen's \(\chi\) is carefully defined so that we can define the structure of an ordinal notation, and we actually need in order to define a recursive system of fundamental sequences. If you are honest, could you please completely define a recursive system of fundamental sequences?