Highly Influenced

# Well-partial-orderings and hierarchies of binary trees

@inproceedings{Lee2007WellpartialorderingsAH, title={Well-partial-orderings and hierarchies of binary trees}, author={Gyesik Lee}, year={2007} }

- Published 2007

The set of binary trees together with the homeomorphic embedding build an wellpartial-ordering. It is well known that its maximal order type is ε0 as shown by de Jongh and that its canonical linearization is the system obtained from the celebrated Feferman-Schütte system for Γ0 by omitting the addition operator. We show here that Higman’s Lemma and Dershowitz’s recursive path ordering are nice tools in deciding the maximal order type and the order type, respectively. Moreover, this will be done… CONTINUE READING

Highly Influential

This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS