Finite trees as ordinals

Lecture Notes in Computer Science

Volumn 3526, Issue , 2005, Pages 211-220

  Jervell, Herman Ruge ^a  

^a UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; FUNCTIONS; HIERARCHICAL SYSTEMS; TREES (MATHEMATICS);

FINITE TREES; N-ARY VEBLEN HIERARCHY; ORDINALS;

COMPUTATIONAL COMPLEXITY;

EID: 26444482391     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11494645_26     Document Type: Conference Paper

References (4)

1. Wilhelm Ackermann. Konstruktiver Aufbau eines Abschnitts der zweiten Cantorsche Zahlenklasse. Mathematische Zeitschrift, 53:403-413, 1951.
2. Wolfram Pohlers. Proof Theory : An Introduction. Number 1407 in Lecture Notes in Mathematics. Springer, Berlin, 1989.
3. Michael Rathjen and Andreas Weiermann. Proof-theoretic investigations on Kruskal's theorem. Annals of Pure and Applied Logic, 60:49-88, 1993.
4. Kurt Schütte. Kennzeichnung von Ordinalzahlen durch rekursiv erklärte Funktionen. Mathematische Annalen, 127:15-32, 1954.