User:Binary198

Binary198
— Wikipedian ♀ —
Name	Binary198
Country	UK
Time zone	BST
Personality type	INTP-T / ENTP-T
Contact info
Website	sites.google.com/view/one-to-infinity
Blog	sites.google.com/view/mrwolffs-blog
Account statistics
Joined	2019/02/21

e^{i\pi \ }

This user is a mathematician.

This user is a participant in
WikiProject Mathematics.

CS

This user is a native speaker of the English language.

Dieser Benutzer hat sehr gute Deutschkenntnisse.

This user has been on Wikipedia for 5 years and 9 months.

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 $\varepsilon _{I+1}$ , where $I$ refers to the first inaccessible	PTO of KPi, $\Delta _{2}^{1}$ - CA + BI
Small Rathjen ordinal	$\psi (\varepsilon _{M+1})$ , where $M$ refers to the first Mahlo, using Rathjen's psi function	PTO of KPM, designated ϑ by Rathjen
Large Rathjen ordinal	$\Psi (\varepsilon _{K+1})$ , where $K$ refers to the first weakly compact, using Rathjen's Psi function	PTO of KP + $\Pi _{3}$ - Ref
Small Stegert ordinal	$\Psi _{X}^{\varepsilon _{\Xi +1}}$ , where $\Xi$ refers to the first $\Pi _{0}^{2}$ -indescribable and $X$ = ( $\omega ^{+}$ ; $P_{0}$ ; $\epsilon$ , $\epsilon$ , 0)	PTO of KP + $\Pi _{\omega }$ - Ref
Large Stegert ordinal	$\Psi _{X}^{\varepsilon _{Y+1}}$ , where $X$ = ( $\omega ^{+}$ ; $P_{0}$ ; $\epsilon$ , $\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 $\alpha$ such that $L_{\alpha }\models KP+'\omega _{1}exists'$