crossing the Rubicon

On well-quasi-ordering infinite trees - Nash-Williams' theorem revisited
Daniella Kuhn

No class today. More running in a bit. Then work. Then dealing with unresolved situations. All hail the embraced miscalculation.