Title: Kruskal's theorem
Speaker: Stephen Fenner
Affiliation: University of South Carolina
Date: Friday, November 7, 2008
Time: 3:30 PM
Location: LeConte 312

Abstract:

This theorem says that the homeomorphic embedding relation on finite labeled trees is a well-quasiorder.