Variations on the Higman's Lemma

Variations on the Higman's Lemma

Marco Benini
University of Insubria
Date: 
2016/08/08 (Mon) 13:30 to 15:10
Place: 
JAIST, Collaboration room 7 (I-56)
Group: 
Logic Unit
Core2Core

The Higman's Lemma says that if A is a well-quasi-order, so is the set of finite sequences over A with the order induced by embedding. By considering the structure of the categories of well-founded quasi-orders and well-quasi-orders, another proof of the Lemma will be derived, along with a number of variants, which may be of some interest.

Contact
Hajime Ishihara