User:Julian Barathieu

From Cantor's Attic
Revision as of 01:18, 20 June 2022 by Julian Barathieu (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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)