User blog comment:Alemagno12/Huge Ordinal Analysis/@comment-30118230-20180202175321

This is a VERY big task,and I hope you realize that. Your first sub-task is Z2 which is already very mistrious in it's strength. Big people in ordinal analysis like Michael Rathjen have not even found the PTO of $$\Pi^1_2-CA_0$$,a small part of overall SOA,so I hope you understand that this may be beyond the reach of your knowledge.

With all this being said,I wish you luck.