User blog comment:Simply Beautiful Art/Intuition behind the Mahlo OCF/@comment-36984051-20190831133412/@comment-35470197-20190903101121

> I am currently working on these fundamental sequences to decouple them from the terms of set theory, such as "cofinality".

Good. Since you can write many stuffs in detail, such works will help others to understand better.