# Difference between revisions of "User:Julian Barathieu"

From Cantor's Attic

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

− | My "ideal background theory" (or just "prefered theory") is $\text{ZFC + GCH + VP +}$ there is a transitive model of $\text{ZFC + }$ | + | "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}$. | ||

[[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. | [[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 04:23, 15 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

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