BMS-BOCF analyzing

\newcommand {\w} {\omega}

\newcommand {\W} {\Omega}

\newcommand {\e} {\varepsilon}

\newcommand {\p} {\psi}

\newcommand {\f} {\varphi}

\newcommand {\z} {\zeta}

\newcommand {\G} {\Gamma}

\newcommand {\a} {\alpha}

Mainly using BOCF with , the recursive Mahlo ordinal. For ordinals less than , normal
notation with extended Veblen’s function is also used.

Contents:

1. part 1, to
2. part 2, to
3. part 3, to
4. part 4, to
5. part 5, to

finite ordinals ( ~ )

BMS	BOCF	normal notation, NN

one-row BMS, PrSS ( ~ )

~

BMS	BOCF	NN

~

BMS	BOCF	NN

~

Using in BOCF.

BMS	BOCF	NN

~

Using in BOCF.

BMS	BOCF	NN

next part