# Madore's ψ function

From Cantor's Attic

Revision as of 16:19, 13 January 2017 by Maomao (Talk | contribs) (Created page with "Madore's \(\psi\) function is a function for expressing extremely large countable ordinals. == Defination == Madore's \(\psi\) function is defined as follows: \(S=\{0,1,\om...")

Madore's \(\psi\) function is a function for expressing extremely large countable ordinals.

## Defination

Madore's \(\psi\) function is defined as follows:

\(S=\{0,1,\omega,\Omega\}\) is our tool box.

\(C(0)=\)all of the things you can make from S and finite applications of \(+\times\)^ in S.

\(C(n+1)=\) all of the things you can make from \(C(n)\) and finite applications of \(+\times\)^\(\psi\) in \(C(n)\).

\(\psi(n)=\) the first countable ordinal not in \(C(n)\).

This article is a stub. Please help us to improve Cantor's Attic by adding information.