User blog comment:Boboris02/Ordinal Analysis of Theories/@comment-30118230-20180212211352

I will add links later.