Institut Mittag-Leffler The Royal Swedish Academy of Sciences

Reports Institut Mittag-Leffler
ISSN: 1103-467X
ISRN: IML-R

How to Well Order Finite Trees
Source file as TeX DVI Data Postscript Document Portable Document Format

Preprint series: Mathematical Logic - 2000/2001, No. 32

MSC 2000

03F15 Recursive ordinals and ordinal notations

06A07 Combinatorics of partially ordered sets

Keywords: Ordinal notation, finite trees, well ordering, ordinal diagram