Journal Title
Title of Journal:
|
|
|
Publisher
Springer, Berlin, Heidelberg
|
|
|
|
|
|
Authors: Herman Ruge Jervell
Publish Date: 2005/6/8
Volume: , Issue: , Pages: 211-220
Abstract
Finite trees are given a well ordering in such a way that there is a 11 correspondence between finite trees and an initial segment of the ordinals The ordinal ε 0 is the supremum of all binary trees We get the fixpoint free nary Veblen hierarchy as tree functions and the supremum of all trees is the small Veblen ordinal φΩ ω 0
Keywords:
.
|
Other Papers In This Journal:
|