User:Julian Barathieu

From Cantor's Attic
Revision as of 04:23, 15 March 2018 by Julian Barathieu (Talk | contribs)

Jump to: navigation, search

This is Wabb2t's new profile.

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

"Never Ending Ordinal Studies" discord server: http://discord.me/neos/

My "ideal background theory" (or just "prefered theory") is $\text{ZFC + GCH + VP +}$ there is a transitive model of $\text{ZFC + I0}$.

This post contains a table listing some of the many ordinal analyses done of second-order arithmetic theories and their set-theoretic counterparts.