User:Julian Barathieu
From Cantor's Attic
This is Wabb2t's new profile.
"Never Ending Ordinal Studies" discord server: http://discord.me/neos/
This post contains a table listing some of the many ordinal analyses done of second-order arithmetic theories and their set-theoretic counterparts.
