User:Julian Barathieu

From Cantor's Attic
Revision as of 00:42, 30 August 2018 by Julian Barathieu (Talk | contribs)

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

This is Wabb2t's new profile.

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

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