Difference between revisions of "User:Julian Barathieu"

From Cantor's Attic
Jump to: navigation, search
Line 3: Line 3:
 
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.
+
My "ideal background theory" (or just "prefered theory") is $\text{ZFC + GCH + VP +}$ there is a transitive model of $\text{ZFC + }$ "there is a cardinal that is $n$-huge for all $n$".
 +
 
 +
[[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.

Revision as of 11:23, 3 March 2018

This is Wabb2t's new profile.

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

My "ideal background theory" (or just "prefered theory") is $\text{ZFC + GCH + VP +}$ there is a transitive model of $\text{ZFC + }$ "there is a cardinal that is $n$-huge for all $n$".

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