For those interested, there is a discord server created by me and [[User:Zetapology|Zetapology]]: https://discord.gg/tbGrU39

For those interested, there is a discord server created by me and [[User:Zetapology|Zetapology]]: https://discord.gg/tbGrU39

+

+

[[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. It is still in construction.