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.
