Jump to content
Wikipedia The Free Encyclopedia

User:Binary198

From Wikipedia, the free encyclopedia
Binary198
—Wikipedian ♀—
Name
Binary198
Country UK
TimezoneBST
Personalitytype INTP-T / ENTP-T
Contact info
Websitesites.google.com/view/one-to-infinity
Blogsites.google.com/view/mrwolffs-blog
Account statistics
Joined2019年02月21日
e i π {\displaystyle e^{i\pi \ }} {\displaystyle e^{i\pi \ }}
This user is a mathematician .
This user is a member of the WikiProject Computer science .
en This user is a native speaker of the English language .
de-3 Dieser Benutzer hat sehr gute Deutschkenntnisse .
Icon This user has been on Wikipedia for 7years, 5months and 24days.
This user tries to do the right thing. If they make a mistake, please let them know .
This user is bold , but not reckless, in updating pages.
W This user has started at least 2 English Wikipedia articles.











I like maths, especially set theory, infinity and googology, but honestly don't really understand elementary embeddings and model theory that well. I also am into guns.

Moving along, I'm not that big of a fan of unnamed numbers, so here is a table of the numbers I have dubbed/nicknamed:

My nickname Definition Notes
Madore's ordinal Collapse of ε I + 1 {\displaystyle \varepsilon _{I+1}} {\displaystyle \varepsilon _{I+1}}, where I {\displaystyle I} {\displaystyle I} refers to the first inaccessible PTO of KPi, Δ 2 1 {\displaystyle \Delta _{2}^{1}} {\displaystyle \Delta _{2}^{1}} - CA + BI
Small Rathjen ordinal ψ ( ε M + 1 ) {\displaystyle \psi (\varepsilon _{M+1})} {\displaystyle \psi (\varepsilon _{M+1})}, where M {\displaystyle M} {\displaystyle M} refers to the first Mahlo, using Rathjen's psi function PTO of KPM, designated θ by Rathjen
Large Rathjen ordinal Ψ ( ε K + 1 ) {\displaystyle \Psi (\varepsilon _{K+1})} {\displaystyle \Psi (\varepsilon _{K+1})}, where K {\displaystyle K} {\displaystyle K} refers to the first weakly compact, using Rathjen's Psi function PTO of KP + Π 3 {\displaystyle \Pi _{3}} {\displaystyle \Pi _{3}} - Ref
Small Stegert ordinal Ψ X ε Ξ + 1 {\displaystyle \Psi _{X}^{\varepsilon _{\Xi +1}}} {\displaystyle \Psi _{X}^{\varepsilon _{\Xi +1}}}, where Ξ {\displaystyle \Xi } {\displaystyle \Xi } refers to the first Π 0 2 {\displaystyle \Pi _{0}^{2}} {\displaystyle \Pi _{0}^{2}}-indescribable and X {\displaystyle X} {\displaystyle X} = ( ω + {\displaystyle \omega ^{+}} {\displaystyle \omega ^{+}}; P 0 {\displaystyle P_{0}} {\displaystyle P_{0}}; ε {\displaystyle \epsilon } {\displaystyle \epsilon }, ε {\displaystyle \epsilon } {\displaystyle \epsilon }, 0) PTO of KP + Π ω {\displaystyle \Pi _{\omega }} {\displaystyle \Pi _{\omega }} - Ref
Large Stegert ordinal Ψ X ε Y + 1 {\displaystyle \Psi _{X}^{\varepsilon _{Y+1}}} {\displaystyle \Psi _{X}^{\varepsilon _{Y+1}}}, where X {\displaystyle X} {\displaystyle X} = ( ω + {\displaystyle \omega ^{+}} {\displaystyle \omega ^{+}}; P 0 {\displaystyle P_{0}} {\displaystyle P_{0}}; ε {\displaystyle \epsilon } {\displaystyle \epsilon }, ε {\displaystyle \epsilon } {\displaystyle \epsilon }, 0) PTO of Stability
Great Church-Kleene ordinal The smallest limit of admissibles. This ordinal is not admissible. An extension of the Church-Kleene ordinal.
Devlin-Jech ordinal The smallest ordinal α {\displaystyle \alpha } {\displaystyle \alpha } such that L α ⊨ K P + ′ ω 1 e x i s t s ′ {\displaystyle L_{\alpha }\models KP+'\omega _{1}exists'} {\displaystyle L_{\alpha }\models KP+'\omega _{1}exists'}

AltStyle によって変換されたページ (->オリジナル) /