User:Username5243/Introduction and analysis of UNAN

Why am I making this on here, rather than on my site?

Because here, you can edit by sections. On Google Sites (as far as I know) there is no way to edit one sectrion at a time. This will make it easier.

Pre-alpha stage
Pre-alpha stage UNAN covers from basic to nested arrays.

I: Basic
The basic rules of UNAN are:


 * a[0]b = a*b
 * a[c+1]b+1 = a[c]a[c+1]b
 * a[c]1 = a

It is easy to show that a[c]b = a^^^...^^^b for c arrows.

The limit of the notation so far is ordinal level \(\omega\).