[FOM] Ordinal notations and the ordinal calculator

[Paul Budnik]

Version 0.3 of the ordinal calculator is now available 
at:http://www.mtnmath.com/ord This a both a tutorial and research tool 
for understanding and hopefully ultimately expanding the ordinal 
hierarchy. Computers can help to manage the ever expanding complexity of 
these structures.

This release uses a generalization of recursive ordinal notations for 
larger countable ordinals in a form of nested ordinal collapsing using 
notations for countable admissible ordinals. An overview of this 
approach to notation is described in: 
http://www.mtnmath.com/ord/notation.html


Paul Budnik
www.mtnmath.com