Difference between revisions of "User:Julian Barathieu"

From Cantor's Attic
Jump to: navigation, search
Line 1: Line 1:
 
This is [[Special:Contributions/Wabb2t|Wabb2t]]'s new profile.
 
This is [[Special:Contributions/Wabb2t|Wabb2t]]'s new profile.
 
For those interested, there is a discord server created by me and [[User:Zetapology|Zetapology]]: https://discord.gg/tbGrU39
 
  
 
"Never Ending Ordinal Studies" discord server: http://discord.me/neos/
 
"Never Ending Ordinal Studies" discord server: http://discord.me/neos/

Revision as of 10:18, 2 April 2018

This is Wabb2t's new profile.

"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.