Date: Aug 2, 2006 11:21 PM
Author: john baez
Subject: Re: This Week's Finds in Mathematical Physics (Week 236)

Someday I'd like to go on and describe systems of notation for 
ordinals above the Feferman-Schuette ordinal. But I might not
get around to it, so here's some stuff for anyone interested -
including possibly my future self.

This paper introduced the "Schuette Klammersymbole", which
generalize the Veblen hierarchy:

27) Kurt Schuette, Kennzeichnung von Orgnungszahlen durch rekursiv
erklaerte Funktionen, Math. Ann 127 (1954), 15-32.

These papers discuss a general concept of "ordinal notation system",
which includes the Schuette Klammersymbole and also something
called the "n-ary Veblen hierarchy":

28) Anton Setzer, An introduction to well-ordering proofs in Martin-
Loef's type theory, in Twenty-Five Years of Constructive Type Theory,
eds. G. Sambin and J. Smith, Clarendon Press, Oxford, 1998, pp. 245-263.
Also available at http://www.cs.swan.ac.uk/~csetzer/index.html

Anton Setzer, Ordinal systems, in Sets and Proofs, Cambridge U. Press,
Cambridge, 2011, pp. 301-331. Also available at
http://www.cs.swan.ac.uk/~csetzer/index.html

This paper has a nice expository section on generalizations of the
Veblen hierarchy:

29) Jean H. Gallier, What's so special about Kruskal's theorem and
the ordinal Gamma_0? A survey of some results in proof theory,
sec. 7: A glimpse at Veblen hierarchies, Ann. Pure Appl. Logic 53
(1991), 199-260. Also available at
http://www.cis.upenn.edu/~jean/gallier-old-pubs.html

This paper is very useful, since it compares different notations:

30) Larry W. Miller, Normal functions and constructive ordinal notations,
J. Symb. Log. 41 (1976), 439-459.

You can get it through JSTOR if you have access to that.

This webpage gives a nice definition of "ordinal notation system"
as a coalgebra of a certain functor - nice if you understand categories,
that is:

31) Peter Hancock, Ordinal notation systems,
http://homepages.inf.ed.ac.uk/v1phanc1/ordinal-notations.html

Finally, the Wikipedia article on "large countable ordinals" has
some references to books which are, alas, out of print.