Difference between revisions of "User:Julian Barathieu"
From Cantor's Attic
| Line 3: | Line 3: | ||
Discord: Julian#2338 | Discord: Julian#2338 | ||
| − | "The Affinoid Union" Discord server: https://discord.gg/ | + | "The Affinoid Union" Discord server: https://discord.gg/CRfAXYNnfa |
[[User-blog:Julian Barathieu/Ordinal analyses|This post]] contains a table listing some of the many ordinal analyses done of second-order arithmetic theories and their set-theoretic counterparts. | [[User-blog:Julian Barathieu/Ordinal analyses|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) |
Latest revision as of 01:18, 20 June 2022
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)
