User:Julian Barathieu
From Cantor's Attic
This is Wabb2t's new profile.
Discord: Julian#2338
"The Affinoid Union" Discord server: https://discord.gg/CRfAXYNnfa
This post contains a table listing some of the many ordinal analyses done of second-order arithmetic theories and their set-theoretic counterparts. (EXTREMELY outdated. Ask me for a more complete version, several times larger)